Data.Promotion.Prelude.Maybe
Data.Maybe
type family MaybeToList (a :: Maybe a) :: [a] where ...
type family ListToMaybe (a :: [a]) :: Maybe a where ...
type NothingSym0
data JustSym0 l
type JustSym1 t
data Maybe_Sym0 l
data Maybe_Sym1 l l
data Maybe_Sym2 l l l
type Maybe_Sym3 t t t
data IsJustSym0 l
type IsJustSym1 t
data IsNothingSym0 l
type IsNothingSym1 t
data FromJustSym0 l
type FromJustSym1 t
data FromMaybeSym0 l
data FromMaybeSym1 l l
type FromMaybeSym2 t t
data MaybeToListSym0 l
type MaybeToListSym1 t
data ListToMaybeSym0 l
type ListToMaybeSym1 t
data CatMaybesSym0 l
type CatMaybesSym1 t
data MapMaybeSym0 l
data MapMaybeSym1 l l
type MapMaybeSym2 t t