Haskell mini-idiom: constraining coerce

I’ll try it here:

There is one type annotation I can remove this way :smiley:

1 Like