:19:1: warning: [GHC-42044] [-Wunrecognised-pragmas (in -Wdefault)] Unrecognised pragma: FOO :61:1: error: • Role mismatch on variable b: Annotation says phantom but role representational is required • while checking a role annotation for ‘T1’