Agda.Utils.Size
class Sized a