tfp-0.6: Type-level programming library using type families