Agda.Utils.Fresh

class HasFresh i a

fresh

withFresh