Agda.Utils.Size
class
Sized
a
data
SizedThing
a
sizeThing