Data.Type.Coercion
data
Coercion
a b
coerceWith
sym
trans
repr
class
TestCoercion
f