Agda.Utils.Size

class Sized a

data SizedThing a

sizeThing