fun follows f [] = true
  | follows f [x1] = true
  | follows f [x1, x2]  =  if not(f(x1, x2)) then false else true
  | follows f (x1 :: x2 :: xs) = if not(f(x1, x2)) then false else follows f xs;


follows op<> [1,2,3,4,1];