<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Jul 6, 2014 at 12:27 AM, Brent Yorgey <span dir="ltr"><<a href="mailto:byorgey@seas.upenn.edu" target="_blank">byorgey@seas.upenn.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On Sat, Jul 05, 2014 at 02:51:07AM -0300, Dimitri DeFigueiredo wrote:<br>
><br>
> However, I don't think there is any way this mapping of types cannot<br>
> be injective in Haskell. It seems that a type constructor, when<br>
> called with two distinct type will always yield another two<br>
> *distinct* types. (E.g. Int and Double yield Maybe Int and Maybe<br>
> Double) So, it seems that Functors in Haskell are actually more<br>
> restrictive than functors can be in general. Is this observation<br>
> correct or did I misunderstand something?<br>
<br>
</div>Yes, that's correct.</blockquote></div><br></div><div class="gmail_extra">Why is that correct? How would you show that?<br></div><div class="gmail_extra"><br clear="all"><div>-- Kim-Ee</div>
</div></div>