Wait, types are useful