Coercion

Main data type

type Coercion

Equality predicates

Coercion transformations

Comparison

CoercionI

data CoercionI