Relax netwire bounds on profunctors and bifunctors for travis