-- Andreas 2021-02-02
-- Wrong type for (:).

Bar.    Foo   ::= "foo";
(:).    [Foo] ::= Integer [Foo];  -- Wrong type.