InstanceArgumentsBraceSpaces.agda:5,19-19
InstanceArgumentsBraceSpaces.agda:5,19:
Expecting '}}', found separated '}'s. →<ERROR> B ...