Planned change to GHC: merging types and kinds #1 Post by vimes656 » Wed, Aug 19, 2015, 8:34 PM UTC Planned change to GHC: merging types and kindstypesandkinds.wordpress.com