Improve typechecker using monads