redxaxder

When we receive a map like `{1 : 3, 1: 5}`, this should produce an error instead of a map with only one element.

BindSyntax and mtl-style

1

In the following example the selected `BindSyntax` instance is the one with a`IxMonad` constraint rather than the one with a `Monad` constraint. ``` {-# LANGUAGE RebindableSyntax #-} module Scratch where...

Does MonadFree have enough firepower?

6

The statement that the monad m is free over the functor f corresponds to the following universal property: Given a monad m' and a natural transformation `n: f ~> m'`...