Give the left instance of FromAnd (P1 ★ P2) P1 P2 precedence.

That way type class search becomes more predictable.
1 job for master
Status Job ID Name Coverage
  Test
passed #505
coq
buildjob

00:03:50