Understanding Monads (Re: Probable C# 6.0 features)

[Timon Gehr]

On 12/12/2013 01:04 AM, Timon Gehr wrote:
> naturality: Π(a:Type)(b:Type)(h:a->b). η b. mapf h = mapg h . η h

This should read:

naturality: Π(a:Type)(b:Type)(h:a->b).
               η b . mapf a b h = mapg a b h . η a