module ShouldCompile where

import Mod173_Aux

t1 = partition  -- From the import

nub = True
t2 = nub        -- Unambiguous; nub should not have been exported

t3 = frob