Type.Family.Maybe

type family MaybeC mc :: Constraint

type family f <$> a :: Maybe l

type family f <&> a :: Maybe l

type family f <*> a :: Maybe l

type family a <|> b :: Maybe k

type family FromJust m :: k

type family a == b :: Bool