haskell-data-checked: new expression