On August 2, 2018 9:25:05 PM EDT, Conal Elliott wrote:
>GHC 8.2.2 and 8.4.3 dislike the following rules:
>
>``` haskell
>{-# RULES
>
>"pair fst snd" forall p. (,) (exl p) (exr p) = p
>
>"swap" forall p. (,) (exr p) (exl p) = swap p
>
> #-}
>```
>
>Error messages:
>
>``` haskell
>/Users/conal/Haske
I get it. Thanks, Ben!
On Fri, Aug 3, 2018 at 12:48 PM, Ben Gamari wrote:
> On August 2, 2018 9:25:05 PM EDT, Conal Elliott wrote:
> >GHC 8.2.2 and 8.4.3 dislike the following rules:
> >
> >``` haskell
> >{-# RULES
> >
> >"pair fst snd" forall p. (,) (exl p) (exr p) = p
> >
> >"swap" forall p.