Narrowing Types in a Pipeline - Effect Community