© 2026 Hedgehog Software, LLC
Twitter
GitHub
Discord
System
Light
Dark
More
Communities
Docs
About
Terms
Privacy
Search
Star
Feedback
Setup for Free
Confusion about S.compose type signatures - Effect Community
EC
Effect Community
•
2y ago
•
2 replies
Liam Butler-Lawrence
Confusion about S.compose type signatures
Looking at the type signatures for
S.compose
S.compose
, I
'm confused why the second one
(B extends C
) exists
. Shouldn
't the point of
compose
compose
be that C extends B
?
Effect Community
Join
Production-grade applications in TypeScript.
6,221
Members
View on Discord
Resources
ModelContextProtocol
ModelContextProtocol
MCP Server
Recent Announcements
Similar Threads
Was this page helpful?
Yes
No
Similar Threads
Type Error in `S.compose` with incompatible types
EC
Effect Community / schema
3y ago
Confusion about `@effect/schema/Pretty`
EC
Effect Community / schema
3y ago
Inquiry about converting property signatures into a Schema instance
EC
Effect Community / schema
2y ago
Question about Schema.TaggedRequest's payload parameter type
EC
Effect Community / schema
9mo ago