module Coercion : Coercion.S