Data.Type.Coercion

data Coercion a b

coerceWith

gcoerceWith

sym

trans

repr

class TestCoercion f