AllInstances
cats
ApplicativeInstances
cats