[haskell] constrain export