domainFunction has proper type signature