Add more fun for type checking