Fun with multi-parameter type classes!
This library provides a way to safely coerce values of some type into another type, when it makes sense.
Some sane default instances are provided, particularly for the primitive types.
You may wish to use this for newtype wrappers:
newtype Address = Address String
instance coercibleAddress :: Coercible Address String where
coerce (Address s) = s
instance coercibleString :: Coercible String Address where
coerce = Address
newtype Filepath = Filepath String
instance coercibleFilepathAddress :: Coercible Filepath Address where
coerce (Filepath p) = Address pbower i purescript-coercions