Baby’s first type checker