Using the convention that operator → associates to the right: α → (α → β) → β