X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowSkeleton.hs;h=14827ec6ea67e084e394a6fbf4dcd9784c8d7791;hp=2c53283659d75de50853c90fa6218740dd0e5fe6;hb=56413ac435b190c551e8a695fa4e289b46f5b683;hpb=257c3cfd16b2f49778559b76404c629e9b335362

diff --git a/examples/GArrowSkeleton.hs b/examples/GArrowSkeleton.hs
index 2c53283..14827ec 100644
--- a/examples/GArrowSkeleton.hs
+++ b/examples/GArrowSkeleton.hs
@@ -81,7 +81,7 @@ type instance GArrowTensor      (GArrowSkeleton m) = (,)
 type instance GArrowUnit        (GArrowSkeleton m) = ()
 type instance GArrowExponent    (GArrowSkeleton m) = (->)
 
-instance GArrowSTKC (GArrowSkeleton m)
+instance GArrowSTKCL (GArrowSkeleton m)
 
 --
 -- | Simple structural equality on skeletons.  NOTE: two skeletons