Typeable meeting

[Ben Gamari]

Ben Gamari <ben at smart-cactus.org> writes:

> Richard Eisenberg <rae at cs.brynmawr.edu> writes:
>
>>> On Oct 6, 2016, at 11:57 AM, Simon Peyton Jones <simonpj at microsoft.com> 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 454 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161006/6be32ca3/attachment-0001.sig>