FunctionProperties.Eq: Injective, Conflict
Data.List.{NP,Properties}: dup, and some more properties
Maybe: restore <$>-injective₁
Sum: untag
Vec: dup
Add tr! and tr-∙