Haskell library for non-deterministic pattern matching - View it on GitHub