• simonpj@microsoft.com's avatar
    Add comment about arity · 5e41a5af
    simonpj@microsoft.com authored
    I'm not sure what the significance of the "arity" of a primtive
    TyCon is.  They aren't necessarily saturated, so it's not that.
    
    I rather think that arity is only relevant for 
    	SynTyCon 
    	AlgTyCon
    	CoercionTyCon
    
    This comment (and commit message) is just an aide memoire.
    5e41a5af
TyCon.lhs 28.3 KB