Id

cats

imapK

DeriveMacros

implement

DeriveMacros

instantiate

DeriveMacros

invariant

Derive DeriveMacros

invariantK

Derive DeriveMacros