X-Git-Url: http://gitweb.michael.orlitzky.com/?p=dead%2Fhtsn-import.git;a=blobdiff_plain;f=src%2FGenerics.hs;h=76a8a2b8230891f83f84d74601a70fa552cf85e9;hp=8e6658940fd0330cefe071e491c16bf13c6299d0;hb=c0dd6db82ddf70ab3cc940f23c0cfcc6d8bb9355;hpb=819ac1c4b1f16bde572728d76bfd72282d0605ec

diff --git a/src/Generics.hs b/src/Generics.hs
index 8e66589..76a8a2b 100644
--- a/src/Generics.hs
+++ b/src/Generics.hs
@@ -2,12 +2,35 @@
 {-# LANGUAGE NoMonomorphismRestriction #-}
 {-# LANGUAGE TypeFamilies #-}
 
+-- These can go if the tuple instances are accepted upstream.
+
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE DataKinds #-}
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+
 module Generics (
   Generic(..),
   to_tuple )
 where
 
 import Generics.SOP ( Code, Generic(..) )
+import Generics.SOP.TH ( deriveGeneric )
+
+deriveGeneric ''(,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,) -- 20
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,) -- 25
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,,,,)
+deriveGeneric ''(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) -- 30
 
 -- | Convert a simple product type into a tuple, generically.
 --