class MetaData a where
constructorName::a-String
mapArgs::(MetaData b,MonadPlus c) = (b-c)-a-[c]
results in the error
Illegal type "[c]" in constructor application
If I replace MonadPlus with Show or Num there is no error.
(Replacing MonadPlus with Monad also result in an error)
I am trying to write some primitives to make it easy to manipulate haskell
datatypes without knowing what they are.
However the following class:
class MetaData a where
constructorName::a-String
mapArgs::(MetaData b,MonadPlus c) = (b-c)-a-[c]
results in the error
Illegal type
