unapplyReturnTypes now has a proper type