27 Feb
2015
27 Feb
'15
5:45 a.m.
Is there an extension that will allow me to do type T = (*, *) so I can replace type family F (k :: (*, *)) with type family F (k :: T) ? Tom