|
Here, the constraint `(Stringy a)` is a synonym for `(Show a, Read a)`. More importantly, by combining with assocaited types, we can write some fundamentally new kinds of programs:
|
|
Here, the constraint `(Stringy a)` is a synonym for `(Show a, Read a)`. More importantly, by combining with associated types, we can write some fundamentally new kinds of programs:
|