Agda.Utils.Size
class
Sized
a