-1 on Pointed/Apply/Bind These are of very limited utility and we don't need these three instances cluttering up instance lists and distracting the user from more important instances. If you're going to make things less monomorphic then you need to be more judicious about the type classes you choose.