1 2 3 4 5 6 7 8
{-# LANGUAGE DeriveFunctor #-} module T9071 where import T9071a newtype K a b = K a newtype F a = F (Mu (K a)) deriving Functor