When digging into #561, I noticed that in the program ```haskell 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.