mixed Prefix/Infix multi-eqn FunBinds done