T9071a.hs 51 Bytes
Newer Older
1
2
3
4
module T9071a where

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