Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
I have a data type like so:
data MyType a b = Something a b | .....
and then I have a type:
type SomethingElse = MyType a b -> AnotherThing
However, if I include the a and b parameter for the type definition it complains, but if I leave them out it also complains.
The error message (in the type definition) is that variables a and b are not in scope.
As long as you’re not providing concrete types for
aandb, you need to parametrize your type synonym over those as well.