Advantages of F-bounded polymorphism over typeclass for return-current-type problem
F-Bounded is a great example of what a type system is capable of express, even simpler ones, like the Java one. But, a typeclass would always be safer and better alternative. What do we mean with safer? Simply, that we can not break the contract of returning exactly the same type. Which can be done … Read more