Merge pull request #651 from IntersectMBO/mgalazyn/fix/relax-kind-some

Make `Some` accept forall k. instead of Type kind
IntersectMBO · Oct 9, 2024 · 013cce9 · 013cce9
2 parents dde0496 + bcda8ba
commit 013cce9
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))