T9071-2.hs 152 Bytes
Newer Older
1
2
3
4
5
6
7
{-# LANGUAGE DeriveFunctor #-}
module T9071_2 where

newtype Mu f = Mu (f (Mu f))

newtype K1 a b = K1 a
newtype F1 a = F1 (Mu (K1 a)) deriving Functor