sigh, qualifier-free-var threshold led to hours of debugging.
sigh, qualifier-free-var threshold led to hours of debugging.
missing import..
add some Data/Typeable instances
sigh, qualifier-free-var threshold led to hours of debugging.
bah
glbu
huh? what is this could not deduce `Ex.Exception Error` business?
misc edits shuffling stuff around triggers wierd errors to do with Exn instances.
why the odd exn errors?

Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into effects
stuff builds again. next: add HProp