Experiments in mathematical typeclasses for Haskell - View it on GitHub