Trying new techniques for type checking.