Working on new role annotations. Need to change HsDecl syntax. Yuck.