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