Confusion about S.compose type signatures - Effect Community