search

nikita-volkov / refined

Refinement types with static checking
http://hackage.haskell.org/package/refined
MIT License
182 stars 31 forks source link

Restrict coercion types #18

Closed treeowl closed 6 years ago

treeowl commented 6 years ago

What I thought was convenient generalization I now realize was probably an invitation to terrible type inference. Users can use trans and sym to build all sorts of coercions on top of reallyUnsafeUnderlyingRefined; there's not much point in pre-generalizing it.

chessai commented 6 years ago

Oh, dangit. Didn't even notice this. You're right