module Refactor.AutoCorrect.SimpleReOrder where

x = f B A

f :: A -> B -> ()
f _ _ = ()

data A = A
data B = B