Remove singleton thing for Field

(Just use Proxy)
VinylRecords · May 17, 2014 · 7381fee · 7381fee
1 parent 6c86d89
commit 7381fee
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Data/Vinyl/Universe/Field.hs b/Data/Vinyl/Universe/Field.hs
@@ -11,9 +11,6 @@ import GHC.TypeLits
 
 data (sy :: k) ::: (t :: *)
 
-data SField :: * -> * where
-  SField :: KnownSymbol sy => SField (sy ::: t)
-
 data ElField :: (TyFun * *) -> * where
   ElField :: ElField el
 type instance App ElField (sy ::: t) = t