type checker works, but break