Too eager whnf_ty
Bug in creating a hint
Fewer line breaks in debug printout
slightly more elaborate example