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