re-insert {b = b} to make idris happy (./Decidable/Equality.idr:80:No su...

...ch variable b)