| Point [] | |
| Point IO | |
| Point ZipList | |
| Point Maybe | |
| Point Identity | |
| Point Tree | |
| Point Seq | |
| Point Option | |
| Point NonEmpty | |
| Point ((->) m) | |
| Point (Either a) | |
| (Semigroup m, Monoid m) => Point ((,) m) | |
| (Semigroup m, Monoid m) => Point (Const m) | |
| Monad f => Point (WrappedMonad f) | |
| (Apply f, Applicative f) => Point (IdentityT f) | |
| (Apply f, Applicative f) => Point (WrappedApplicative f) | |
| Point f => Point (MaybeApply f) | |
| (Bind f, Monad f) => Point (MaybeT f) | |
| (Apply f, Applicative f) => Point (ListT f) | |
| Arrow a => Point (WrappedArrow a b) | |
| (Apply f, Applicative f) => Point (TracedT t f) | |
| (Apply f, Applicative f, Semigroup m, Monoid m) => Point (StoreT m f) | |
| (Apply f, Applicative f, Semigroup m, Monoid m) => Point (EnvT m f) | |
| Point (Cokleisli f a) | |
| (Apply f, Applicative f) => Point (Static f a) | |
| (Applicative f, Apply f, Applicative g, Apply g) => Point (Product f g) | |
| (Applicative f, Apply f, Applicative g, Apply g) => Point (Compose f g) | |
| (Applicative f, Apply f, Semigroup w, Monoid w) => Point (WriterT w f) | |
| (Applicative f, Apply f, Semigroup w, Monoid w) => Point (WriterT w f) | |
| (Bind f, Monad f) => Point (StateT e f) | |
| (Bind f, Monad f) => Point (StateT e f) | |
| (Applicative f, Apply f) => Point (ReaderT r f) | |
| Point (ContT r f) | |
| (Bind f, Monad f, Semigroup w, Monoid w) => Point (RWST r w s f) | |
| (Bind f, Monad f, Semigroup w, Monoid w) => Point (RWST r w s f) | |