Yeah but to have half-decent typings you then have to define the entire type, again, in the signature.