Added Unknowns for higher kinds

[ghc-base.git] / GHC / Base.lhs

diff --git a/GHC/Base.lhs b/GHC/Base.lhs
index 2b79b78..4fc09a6 100644 (file)
--- a/GHC/Base.lhs
+++ b/GHC/Base.lhs
@@ -732,6 +732,12 @@ breakpointCond :: Bool -> a -> a
 breakpointCond _ r = r
 
 data Unknown 
+data Unknown1 a
+data Unknown2 a b
+data Unknown3 a b c
+data Unknown4 a b c d
+
+data Opaque = forall a. O a
 
 -- | Constant function.
 const                  :: a -> b -> a