Reformat whitespace
One function to type check definitions, not two