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
1588
November 13, 2021
The Current Coercible Rules are Dangerously Misleading
22
1225
October 29, 2024
DerivingVia QuantifiedConstraints
Learn
8
544
August 25, 2024
The `type` herald and parentheses
5
431
August 4, 2024
[ANN] data-elevator: Turn any lifted datatype into an unlifted dataype
Announcements
8
1181
November 4, 2022