limit size of generated type expressions
cabalize, enable 'cabal test'