A Haskell implementation of Pollux.