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