Agda.Utils.Size

class Sized a