-- Andreas 2021-02-02
-- Wrong type for [].

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