Haskell Community
Haskell mini-idiom: constraining coerce
Show and Tell
nomeata
September 23, 2022, 10:43am
6
I’ll try it here:
There is one type annotation I can remove this way
1 Like
show post in topic
Related topics
Topic
Replies
Views
Activity
Describing type roles as constraints
Show and Tell
8
1597
November 13, 2021
Coerce with type families
Learn
7
235
June 11, 2025
The Current Coercible Rules are Dangerously Misleading
22
1229
October 29, 2024
DerivingVia QuantifiedConstraints
Learn
8
544
August 25, 2024
Library (candidate): coerce-with-substitution
Announcements
0
190
June 21, 2025