We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
When digging into #561, I noticed that in the program
data Fix f a = Fix (f (Fix f a)) instance Functor f => Functor (Fix f) where fmap f (Fix x) = _
the Functor f given isn't available inside of the hole. I guess the thetatype stuff only works for top-level defs.
Functor f