From 14997bc1a3501cb3b759dc6dff7a2604deb6648b Mon Sep 17 00:00:00 2001
From: Griffin Smith <root@gws.fyi>
Date: Tue, 31 Dec 2019 11:28:51 -0500
Subject: [PATCH] Fix ambiguity error in Opposite tests

For some reason cabal wasn't properly recompiling this file locally to
pick up the introduction of an ambiguity error.
---
 src/Xanthous/Data.hs      | 2 ++
 test/Xanthous/DataSpec.hs | 4 ++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/Xanthous/Data.hs b/src/Xanthous/Data.hs
index 8a8a62d0e..5e4516958 100644
--- a/src/Xanthous/Data.hs
+++ b/src/Xanthous/Data.hs
@@ -334,6 +334,7 @@ data Corner
   | BottomLeft
   | BottomRight
   deriving stock (Show, Eq, Ord, Enum, Bounded, Generic)
+  deriving Arbitrary via GenericArbitrary Corner
 
 instance Opposite Corner where
   opposite TopLeft = BottomRight
@@ -347,6 +348,7 @@ data Edge
   | RightEdge
   | BottomEdge
   deriving stock (Show, Eq, Ord, Enum, Bounded, Generic)
+  deriving Arbitrary via GenericArbitrary Edge
 
 instance Opposite Edge where
   opposite TopEdge = BottomEdge
diff --git a/test/Xanthous/DataSpec.hs b/test/Xanthous/DataSpec.hs
index bd02c0f36..a2fcdbba1 100644
--- a/test/Xanthous/DataSpec.hs
+++ b/test/Xanthous/DataSpec.hs
@@ -57,14 +57,14 @@ test = testGroup "Xanthous.Data"
 
   , testGroup "Corner"
     [ testGroup "instance Opposite"
-      [ testProperty "involutive" $ \corner ->
+      [ testProperty "involutive" $ \(corner :: Corner) ->
           opposite (opposite corner) === corner
       ]
     ]
 
   , testGroup "Edge"
     [ testGroup "instance Opposite"
-      [ testProperty "involutive" $ \edge ->
+      [ testProperty "involutive" $ \(edge :: Edge) ->
           opposite (opposite edge) === edge
       ]
     ]