Use some fancier syntax for type checking