Thanks, I intentionally chose examples where types are particularly useful, like monads and conduits (and apparently null elimination).