trying to work out how to represent pregroups in haskell