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?