Types are good
Fix false idempotents