The sweet-egison is a shallow embedding implementation of non-linear pattern matching with extensible and polymorphic patterns.
In other words, this implements Egison pattern matching in Haskell by desugaring pattern expressions.
This library provides a base of the Pattern-Match-Oriented (PMO) programming style for Haskell users at a practical level of efficiency.