typelevel-1.2.3: Useful type level operations (type families and related operators).
Type.Maybe
type family IsJust a where ... Source #
Equations
type family CatMaybes (lst :: [Maybe k]) :: [k] where ... Source #
type family FromJust (m :: Maybe k) :: k where ... Source #