9 Mar
2016
9 Mar
'16
5:49 p.m.
This is the only possible definition...so it should exist instance Alternative Proxy where empty = Proxy _ <|> _ Proxy