10 Mar
2016
10 Mar
'16
4:19 a.m.
This is the only possible definition...so it should exist instance Alternative Proxy where empty = Proxy _ <|> _ Proxy