1 2 3 4
<interactive>:3:1: Role annotation for a type previously declared: type role X nominal (The role annotation must be given where ‛X’ is declared.)