[trealira]

Looking back but can't edit. The first line should say

  ((a | b | c) -> T) -> T

This is just a mistake I made paraphrasing link 1.