Replace semi-colons with =>.
=>
Replace return with pure.
return
pure
Replace = with flatMap.
=
flatMap
Example 10. Zing!
e1() flatMap t => e2(t) flatMap _ => e3(t) flatMap u => e4(t, u) flatMap v => pure e5(u, v);