Strong type checkers