RepLib-0.5.2: Generic programming library with representation types