([α], β) → (β, α)