3 ms·
> For instance, in Haskell you can prove a functor instance has at most one implementation How would one do that?
by frowaway001 12y ago
> For instance, in Haskell you can prove a functor instance has at most one implementation
How would one do that?
- tome 12y agoI believe the technique is relational parametricity, but I don't actually know how to apply it in this case.