add proper hmeasure errors
proper error messages
add documentation
strengthening lifted types does not work...
strengthening lifted types does not work...
add type to measure haskell functions, if they don't have