Type Checker

a
a
a
a
a