Changes between Version 1 and Version 2 of Ticket #9858, comment 30


Ignore:
Timestamp:
Jan 28, 2015 11:15:29 AM (5 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9858, comment 30

    v1 v2  
    1 Yes, SPJ's drastic suggestion is: a polykinded type constructor cannot be an instance of `Typeable`, by `deriving`, or `AutoDeriveTypable`, or standalone deriving.  Period.
     1Yes, SPJ's drastic suggestion is: a polykinded type constructor cannot be an instance of `Typeable`, by `deriving`, or `AutoDeriveTypable`, or standalone deriving.  Period.  How bad would that be?
    22
    33Here's an alternative proposal.
     
    1010}}}
    1111
    12 Comments on the proposal
     12Comments on the alternative proposal
    1313 
    1414 * It's still not ideal because you can never declare "enough" instances and if you declare an extra one at some use site, it might conflict with someone else's.