Add a bit of strictness in the datatype
oops, bangpatterns
Add hm-typing to the hsbencher harness