module InstanceArgumentsBraceSpaces where

postulate
  A B : Set
  test : {{a : A} } → B