Applicative, preserving mempties of each element

[cognivore]

Currently, Applicative for tuples duplicates mempty of the first element:

witchcraft/lib/witchcraft/applicative.ex

Line 221 in 75b62d8

|> Tuple.duplicate(size)

Since we're not constrained by parametricity, couldn't we preserve "type" of every element kind of for free, making the usually controversial instance for n-tuples, where n>2 a tad less controversial?

[github-actions]

Thank you for submitting an issue! It means a lot that you took the time -- it helps us be better 🙏