agda 2はepigramに似ている。