Haskell monad transformer for weighted, non-deterministic computation - View it on GitHub