T-shirt basic Agda, lato 2025