The type ''a represents an equality type: It means anything that can be compared with the equality operator. Not everything can be...
Posted by Beetle B. on Wed 10 August 2016