Implementation of Lambda-P-omega in Haskell