Make the type checker output something.