fix for ucsd-progsys/liquidhaskell#256