Re: 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