haskell-profiteur: new expression