Confusion about S.compose type signatures

Looking at the type signatures for
S.compose
, I'm confused why the second one (B extends C) exists. Shouldn't the point of compose be that C extends B?
Was this page helpful?