Add example of Haskell style definitions

[brendanzab]

It would be nice to show an example of using Moniker to define Haskell/Idris/Purescript/Agda-style definitions.

• https://www.haskell.org/onlinereport/haskell2010/haskellch4.html
• https://github.com/sweirich/pi-forall/