From d025a2aa443666e78fe279029b6759719c478d6c Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Sun, 26 Mar 2017 20:39:26 -0400
Subject: [PATCH] Generalize Data.Functor.Union to (k -> *) -> k -> *.

---
 src/Data/Functor/Union.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Data/Functor/Union.hs b/src/Data/Functor/Union.hs
index 0ab852a03..ae7c568d0 100644
--- a/src/Data/Functor/Union.hs
+++ b/src/Data/Functor/Union.hs
@@ -6,7 +6,7 @@ import GHC.Show
 import Prologue
 
 -- | N-ary union of type constructors.
-data Union (ts :: [* -> *]) (a :: *) where
+data Union (ts :: [k -> *]) (a :: k) where
   Here :: f a -> Union (f ': ts) a
   There :: Union ts a -> Union (f ': ts) a