Got multiple return type type-checking working.