module Refactor.AutoCorrect.ExternalInstanceReOrder where

x = f () 3

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

a :: Integer
a = 3