Type.Maybe

type family IsJust a

type family CatMaybes lst :: [k]