Interface MonadBase<M extends MonadRec<?,M>,A,MB extends MonadBase<?,?,MB>>

Type Parameters:
M - the MonadRec embedded in this MonadBase
A - the carrier type
MB - the witness
All Known Subinterfaces:
MonadT<M,A,MT,T>
All Known Implementing Classes:
EitherT, IdentityT, IterateT, LazyT, MaybeT, ReaderT, SafeT, StateT, WriterT

public interface MonadBase<M extends MonadRec<?,M>,A,MB extends MonadBase<?,?,MB>>
A type into which a MonadRec is embedded whilst internally preserving the MonadRec structure.