Relax bifunctors version bound#6

typedrat wants to merge 2 commits intoreinerp:masterreinerp/indexed-extras:masterfrom

typedrat:relaxed-boundstypedrat/indexed-extras:relaxed-boundsCopy head branch name to clipboard