Fixes #4880
Fixes #4880

Without suitable context the term 'bracket' is ambiguous, let's make it unambiguous.
kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev