module Refactor.AutoCorrect.ExternalInstanceReOrder where

x = f 3 ()

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

a :: Integer
a = 3