module Refactor.AutoCorrect.OwnInstanceReOrder where

import Refactor.AutoCorrect.Instance

x = f A B

f :: Show a => a -> b -> ()
f _ _ = ()