module Refactor.AutoCorrect.SimpleReOrder where

x = f A B

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

data A = A
data B = B