6 Aug
2005
6 Aug
'05
7:17 a.m.
Are there any plans for inductively defined kinds in some future version of GHC?