On 31 December 2011 12:26, Jerzy Karczmarczuk <jerzy.karczmarczuk at unicaen.fr> wrote: > Yves Parès : > >> all standard Monads are newtypes wrapping functions > > What about Maybe and [] ? And Identity ...