Add fixity declaration for `shouldPermute`