Make Some accept forall k. instead of Type kind

IntersectMBO · Oct 8, 2024 · bcda8ba · bcda8ba
1 parent dde0496
commit bcda8ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cardano-api/internal/Cardano/Api/Experimental/Eras.hs b/cardano-api/internal/Cardano/Api/Experimental/Eras.hs
@@ -71,7 +71,7 @@ type family LedgerEra era = (r :: Type) | r -> era where
 -- Some era <- pure anyEra
 -- obtainCommonConstraints era foo
 -- @
-data Some (f :: Type -> Type) where
+data Some (f :: k -> Type) where
   Some
     :: forall f a
      . (Typeable a, Typeable (f a))