Type : Type is good enough to get started!

Girard's paradox hurts less than trying to avoid Girard's paradox