Seconded. tcomb is the best dynamic typechecker around.