Agda.Utils.Fresh
class HasFresh i a