MigMit questions

MigMit answers

• Extending algebraic data type
• Is this syntax as expressive as the do-notation?
• Precomposing monad transformers
• Heritage of the names of the monad operators
• Expressing do block using only monadic bind syntax
• How do I use Data.Constraint to reify constraints?
• GADT vs Existentially quantified types (*forall*)
• Breaking Data.Set integrity without GeneralizedNewtypeDeriving
• Are there contravariant monads?