\import Set

\record SetHom (Dom Cod : BaseSet)
  | \coerce func : Dom -> Cod