:3:1: Role annotation for a type previously declared: type role X nominal (The role annotation must be given where ‘X’ is declared.)