coerce package:backprop

coerce :: Coercible a b => BVar s a -> BVar s b
backprop Prelude.Backprop Prelude.Backprop.Explicit Prelude.Backprop.Num
Coerce items inside a BVar.
coerceVar :: Coercible a b => BVar s a -> BVar s b
backprop Numeric.Backprop Numeric.Backprop.Explicit Numeric.Backprop.Internal Numeric.Backprop.Num
Coerce a BVar contents. Useful for things like newtype wrappers.
opCoerce :: Coercible a b => Op '[a] b
backprop Numeric.Backprop Numeric.Backprop.Explicit Numeric.Backprop.Num Numeric.Backprop.Op
An Op that coerces an item into another item whose type has the same runtime representation. 
>>> gradOp' opCoerce (Identity 5) :: (Int, Identity Int)
(5, Identity 1)

opCoerce = opIso coerced coerce