* Steve Lihn wrote: > Thanks for the example. I am particularly amazed GHC is complaining at > '/', not '+'. The type mismatch occurs (is reported) at much lower > level. It would be nice if there is a way to bump it up a couple > levels... Add type signatures for mu and dont_try_this.