stream extensionality