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