An embedded pattern-matching language in Haskell - View it on GitHub