type checker works okay, but not is a problem