-- | Returns 'True' for all targets and arguments, hence can be used a safe
-- default for 'argsHashOracle'.
trackAllArguments :: TrackArgument c b
trackAllArguments _ _ = True
trackAllArguments :: TrackArgument c b
trackAllArguments _ _ = True
trackAllArguments _ _ = True