Type.Family.Maybe

type family MaybeC mc :: Constraint

type family IsNothing a :: Bool

nothingCong

nothingNotJust

type family f <$> a :: Maybe l

maybeFmapCong

type family f <&> a :: Maybe l

maybePamfCong

type family f <*> a :: Maybe l

maybeApCong

type family a <|> b :: Maybe k

maybeAltCong

type family FromJust m :: k

fromJustCong