Ty.Const
tyStream :: T -> T Source #
argument assumed to have kind Star
Star
tyOpt :: T -> T Source #
tyV :: T -> T Source #
tyStr :: T Source #
tyR :: T Source #
tyI :: T Source #
tyF :: T Source #
tyB :: T Source #