I am a wizard, beautiful type checking