Type.Family.Maybe

type family MaybeC (mc :: Maybe Constraint) :: Constraint where ...

type family IsNothing (a :: Maybe k) :: Bool where ...

nothingCong

nothingNotJust

type family (f :: k -> l) <$> (a :: Maybe k) :: Maybe l where ...

maybeFmapCong

type family (f :: Maybe (k -> l)) <&> (a :: k) :: Maybe l where ...

maybePamfCong

type family (f :: Maybe (k -> l)) <*> (a :: Maybe k) :: Maybe l where ...

maybeApCong

type family (a :: Maybe k) <|> (b :: Maybe k) :: Maybe k where ...

maybeAltCong

type family FromJust (m :: Maybe k) :: k where ...

fromJustCong