+1. I see no problem here.

On Wed, Mar 9, 2016 at 5:49 PM, Fumiaki Kinoshita <fumiexcel@gmail.com> wrote:
This is the only possible definition...so it should exist

instance Alternative Proxy where
  empty = Proxy
  _ <|> _ Proxy

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries