hunk ./Data/OpenWitness/Exception.hs 28
-		typeOf _ = mkTyConApp (mkTyCon "Data.OpenWitness.Exception.ExnException") [];
+		typeOf _ = mkTyConApp (mkTyCon3 "open-witness" "Data.OpenWitness.Exception" "ExnException") [];
hunk ./Data/OpenWitness/OpenRep.hs 3
+
hunk ./Data/OpenWitness/OpenRep.hs 8
+        data T2 (a :: * -> * -> *);
+
hunk ./Data/OpenWitness/OpenRep.hs 12
-		SimpleOpenRep2 :: IOWitness (p () ()) -> OpenRep2 p;
+		SimpleOpenRep2 :: IOWitness (T2 p) -> OpenRep2 p;
hunk ./Data/OpenWitness/OpenRep.hs 16
-	matchOpenRep2 :: OpenRep2 a -> OpenRep2 b -> Maybe (EqualType (a () ()) (b () ()));
+	matchOpenRep2 :: OpenRep2 a -> OpenRep2 b -> Maybe (EqualType (T2 a) (T2 b));
hunk ./Data/OpenWitness/OpenRep.hs 27
+
+        data T1 (a :: * -> *);
+
hunk ./Data/OpenWitness/OpenRep.hs 32
-		SimpleOpenRep1 :: IOWitness (p ()) -> OpenRep1 p;
+		SimpleOpenRep1 :: IOWitness (T1 p) -> OpenRep1 p;
hunk ./Data/OpenWitness/OpenRep.hs 36
-	matchOpenRep1 :: OpenRep1 a -> OpenRep1 b -> Maybe (EqualType (a ()) (b ()));
+	matchOpenRep1 :: OpenRep1 a -> OpenRep1 b -> Maybe (EqualType (T1 a) (T1 b));
hunk ./Data/OpenWitness/OpenRep.hs 68
+
hunk ./Data/OpenWitness/Typeable.hs 41
-		rep2 = SimpleOpenRep2 $(iowitness [t|() -> ()|]);
+		rep2 = SimpleOpenRep2 $(iowitness [t|T2 (->)|]);
hunk ./Makefile 18
-	cabal install --user --enable-library-profiling --enable-executable-profiling
+	cabal install --user --enable-library-profiling --enable-executable-profiling --force-reinstall
hunk ./open-witness.cabal 1
-cabal-version: >= 1.6
-
hunk ./open-witness.cabal 3
+cabal-version: >=1.6
+build-type: Simple
hunk ./open-witness.cabal 7
-author: Ashley Yakeley <ashley@semantic.org>
hunk ./open-witness.cabal 8
-category: Data
hunk ./open-witness.cabal 9
-description:
-  Open witnesses are witnesses that can witness to any type. However, they cannot be constructed, they can only be generated in the IO monad.
-
-  See the paper /Witnesses and Open Witnesses/ (<http://semantic.org/stuff/Open-Witnesses.pdf>).
-build-type: Simple
-
+description: Open witnesses are witnesses that can witness to any type. However, they cannot be constructed, they can only be generated in the IO monad.
+             See the paper /Witnesses and Open Witnesses/ (<http://semantic.org/stuff/Open-Witnesses.pdf>).
+category: Data
+author: Ashley Yakeley <ashley@semantic.org>
+data-dir: ""
+ 
hunk ./open-witness.cabal 16
-  build-depends:
-    base==4.*, transformers>=0.2.2, witness==0.2, random >=1.0, template-haskell >= 2.4
-  extensions:
-    RankNTypes
-    EmptyDataDecls
-    GeneralizedNewtypeDeriving
-    ScopedTypeVariables
-    GADTs
-    FlexibleContexts
-    FlexibleInstances
-    MultiParamTypeClasses
-    TemplateHaskell
-  exposed-modules:
-    Data.OpenWitness
-    Data.OpenWitness.OpenRep
-    Data.OpenWitness.ST
-    Data.OpenWitness.Typeable
-    Data.OpenWitness.Dynamic
-    Data.OpenWitness.Exception
-  ghc-options: -Wall
-
-
+    build-depends: base ==4.*, random >=1.0, template-haskell >=2.4,
+                   transformers >=0.2.2, witness ==0.2
+    exposed-modules: Data.OpenWitness Data.OpenWitness.Dynamic
+                     Data.OpenWitness.Exception Data.OpenWitness.OpenRep
+                     Data.OpenWitness.ST Data.OpenWitness.Typeable
+    exposed: True
+    buildable: True
+    extensions: MultiParamTypeClasses RankNTypes ScopedTypeVariables
+                FlexibleContexts FlexibleInstances EmptyDataDecls KindSignatures
+                TemplateHaskell GeneralizedNewtypeDeriving GADTs
+    hs-source-dirs: .
+    ghc-options: -Wall
+