Well, it is simply<br><br>> coerce :: a -> b<br>> coerce _ = undefined<br><br>so coerce is simply empty function. But still, it is possible to write a function of type (a->b).<br>Well, possibly I didn't write anything particularly new, but please excuse me for I'm still in <br>
sort of a shock after I've discovered it.<br><br>Yet this function reminds me how little I know so I have a question for you. <br>I didn't took any lectures in Category Theory (for I'm still just a student, and I won't for there are none in my institute), <br>
but are there any good (e)books you would recommend for a (future) computer scientist? <br><br>Regards<br><br>Christopher Skrzêtnicki<br>