3 ms·
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.
by trealira 2y ago
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.