n-ary Dom functions deserve their own type