They want to have a generic function that returns opaque types implementing different interfaces depending on the inputs. I've replied to that above.