Haskell library for the Mu-Calculus