Initial version of "`Compose` trait" RFC