Version 11 (modified by ross, 6 years ago) 

Add transformers and revise the mtl package to depend on it
The proposal is that version 2 of the mtl package be the current contents of the monadsfd package, which depends on the transformers package.
Proposer
 Ross Paterson (maintainer of transformers and monadsfd)
If this proposal is accepted, monadsfd would be obsoleted and transformers would be turned over to community control (like the current mtl package).
Rationale
Monad transformers are widely used, but the MTL implementation is tied to functional dependencies, whose future is in doubt. Many people want to try out versions based on type functions, or without using advanced type classes at all, but their interfaces will then be incompatible with libraries using mtl.
The idea is to factor out the monad transformers as a Haskell 98 package, which can be used by itself or with type classes based on either functional dependencies or type functions. Interfaces referring to the monad transformers would be compatible across the different libraries.
The transformers and monadsfd packages have been in use for over 18 months, and are used by 112 and 23 packages respectively. The split structure has been shown to be viable, but its existence in parallel with mtl has meant extra effort for authors of client packages. It is time to complete the transition.
Structure
The current mtl is to be split in two:
 transformers is a Haskell 98 package containing the identity monad (Data.Functor.Identity), transformer classes (Control.Monad.Trans.Class and Control.Monad.IO.Class) and concrete monad transformers with code to lift operators (Control.Monad.Trans.*). The package can be used on its own (see the Control.Monad.Trans.Class documentation for examples), or with packages adding type classes.
 mtl2 (the current monadsfd) depends on transformers and adds type classes using functional dependencies. Usage is very close to mtl1, except for the differences listed below.
Incompatibilities
The proposed interface of mtl2 is close to that of mtl1, but with the following differences (illustrated with Reader):
 instances of Applicative and Alternative have been added as appropriate, e.g.
instance (Applicative m) => Applicative (ReaderT r m) where ... instance (Alternative m) => Alternative (ReaderT r m) where ...
Rationale: These classes postdate the MTL, and such instances have been repeatedly defined in various packages. They belong together with the type constructors.
 Functor instances for monad transformers no longer require Monad where Functor is sufficient. Unfortunately this is incompatible because Functor is not a superclass of Monad, e.g.
instance (Monad m) => Functor (ReaderT r m) where ...
is replaced byinstance (Functor m) => Functor (ReaderT r m) where ...
Rationale: These instances are more general, and are consistent with the instances of other classes.
 simple monads are now aliases for monad trasformers applied to Identity, e.g.
newtype Reader r a = Reader { runReader :: r > a }
is replaced bytype Reader r = ReaderT r Identity reader :: (r > a) > Reader r a reader f = ReaderT (Identity . f) runReader :: Reader r a > r > a runReader m = runIdentity . runReaderT m
Rationale: This avoids repetition in the interfaces of both transformers and the proposed mtl2. It makes transformers more useful on its own, and also saves clients of mtl from defining instances for both Reader r and ReaderT r and ensuring that they are consistent.  The instance Error String is restructured to avoid a type synonym instance:
instance Error String where noMsg = "" strMsg = id
is replaced byinstance ErrorList a => Error [a] where strMsg = listMsg class ErrorList a where listMsg :: String > [a] instance ErrorList Char where listMsg = id
Rationale: This makes the instance Haskell 98, so it can be included in the transformers package.
Transition issues
In early September 2010, there were 465 buildable packages in hackage that directly depended on mtl. Of these,
 386 built unchanged with the proposed mtl2
 18 had a bounded mtl dependency that excluded mtl2
 2 failed because of the recent move of the Monad (Either e) instance from mtl to base
 41 failed with the new mtl:
 11 because they defined their own Applicative instances (which can now be deleted)
 11 because of the changed constraint on Functor instances
 16 that used the constructors of base monads (which can be trivially replaced)
 2 that defined instances for base monads (jmacro and yhccore)
 1 that defined an overlapping Error instance (hssqlppp)
 18 failed because they depended on one of the other failures
Other issues
Some other issues have been raised with mtl over the years, but they are orthogonal to this proposal:
 The MonadCont instance for StateT is not compatible with the monad transformer. The transformers package provides the correct lifting (in which callcc causes the state to rollback on entering the saved continuation), but also provides the MTL lifting for compatibility, and this is used by monadsfd. It could be switched to the correct lifting later.
 The ErrorT monad transformer has an Error constraint, so that errors can be passed to the fail method of the Monad class.
 ListT only works on commutative monads.
Attachments

mtl2.0.0.0.tar.gz
(13.4 kB)  added by ross
6 years ago.
proposed mtl2.0.0.0.tar.gz

testSep2010
(21.3 kB)  added by ross
6 years ago.
test of mtlusing packages in Sep 2010