> I don't feel confident saying “this code does exactly what I want and nothing else”, because someone might enable an extension I haven't accounted for If you

> I don't feel confident saying “this code does exactly what I want and nothing else”, because someone might enable an extension I haven't accounted for If you have any examples of code that, when an extension is enabled, neither fails to compile nor fails to behave in the same way it would be really interested to see them! If I were to try to conjure some up the first place I would start would be interactions between scoped type variables and typeclasses.