Agda Set Pattern