f(x: Domain): Integer ==
  x has IntegralDomain => 1
  0