odd issue with IORef and contra-variance
asc Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell