fixed case to match core in haskell

tests are getting much further, though some are hanging. looking into it.