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/
It would be nice to show an example of using Moniker to define Haskell/Idris/Purescript/Agda-style definitions.