Data.Category.Fix

data Fix f a b

data Wrap f

type Omega