Just spotted this typo:
>
> How can we prevent the user from adding instances to Fail, whilst
> still exporting
> Fail so that it can be used in the constraints of other classes, like:
>
> class MustBeInt a
> instance MustBeInt a
instance MustBeInt Int
> instance Fail a => MustBeInt a
Keean