| I have a class of kind * -> * -> *, and want to make an instance of
| this class for the "->" constructor. Hugs allows this, and (at least
| according to the error message) GHC does not; it gives a "constructor
| not in scope" error message when I try. The Report says that "->" is
| an abstract constructor, and cannot be used to actually construct
| values for the type; it says nothing about making instances using it.
You don't say what version of GHC you are using. If it's 2.02 or later
then I forgot to export (->) from the Prelude, so you have to say
import GHC( (->) )
This is now fixed, but I forget in which version.
Simon
