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
The Current Coercible Rules are Dangerously Misleading
22
1261
October 29, 2024
How to expose coercions only one way?
Learn
35
732
January 7, 2025
Describing type roles as constraints
Show and Tell
8
1629
November 13, 2021
One way Coercible
16
1232
April 5, 2024
Library: coerce-with-substitution
Announcements
1
300
July 21, 2025