package de.jplag.logger; public record Triple (A first, B second, C third) { }