Revision to reflect new role annotation syntax in GHC.