Agda.Utils.Fresh
class
HasFresh
i a
fresh
withFresh