module Refactor.AutoCorrect.OwnInstanceReOrder where

import Refactor.AutoCorrect.Instance

x = f B A

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