Searched defs:unComp1 (Results 1 – 3 of 3) sorted by relevance
899 newtype (:.:) f g p = Comp1 { unComp1 :: f (g p) } function
989 Comp1 { unComp1 :: f (g p) } function