Documentation

unsafeCoerceP :: a wX wY -> a wB wC

unsafeCoercePStart :: a wX1 wY -> a wX2 wY

unsafeCoercePEnd :: a wX wY1 -> a wX wY2

unsafeCoerceP2 :: t wW wX wY wZ -> t wA wB wC wD

unsafeCoerceP1 :: a wX -> a wY