add `refBindP` which also takes a `Parser [Refa]`