Re: Typeable meeting

6 Oct 2016

      Ben Gamari  writes:
...
Richard Eisenberg  writes:
...
...
On Oct 6, 2016, at 11:57 AM, Simon Peyton Jones  wrote:
1. Moreover we probably need FunCo for coercions; at the moment it's
done with TyConAppCo, but that doesn't work with (->) :: * -> * -> *.
Having FunCo would be (a) more efficient for a very common case, (b)
deal with the kinding issue.
I've wondered why we haven't had this. But also: will this become
unnecessary for use case (b) after Ben's work to generalize the kind
of (->)?
There
Oops! Looks like I trailed off here. My apologies.

Strictly speaking I don't even think we *need* it today. I also don't
think it's strictly necessary after the generalization. However, again,
it seems like a nice representational optimization for a very common case.

Cheers,

- Ben