This is the only possible definition...so it should exist instance Alternative Proxy where empty = Proxy _ <|> _ Proxy -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/libraries/attachments/20160309/3727d164/attachment.html>