      
  forAll2 neighDu5d "This one will fail with small number of notes: use tonalTranspCan (next test) instead. tonal transposition - neighbour notes in D up a fifth and neighbouring down" $ \x y -> do
      (x <=> y) (tonalTranspOf ~~ 1)
  
  forAll2 neighDu5d "tonal transposition more candidates - neighbour notes in D up a fifth and neighbouring down" $ \x y -> do
      (x <=> y) (tonalTranspOfCan ~~ 1)
  
  forAll2 neighAd5d "tonal transposition - neighbour notes in A down a fifth and neighbouring down" $ \x y -> do