Greetings,

Is identity function the only meaningful function one can write without constraining the type variable using a typeclass? If not, could you please give a counter-example?

Thanks