@hackage coerce-with-substitution0.0.0.0

Coercions with improved type inference

This package defines aliases of Data.Coerce.coerce and Unsafe.Coerce.unsafeCoerce that accept a type argument containing type substitutions, creating a relationship between the argument and result types of the coercion that GHC can use when inferring one type from the other.

See Data.CoerceSubst for a full introduction to this package.

Requires GHC 9.6 or later, due to use of the TypeData extension.