Implement a derivation for `AvocADO` typeclass

[KacperFKorban]

For trivial types AvocADO should be derivable.
Types that should be derivable:

• Option
• Seq
• List
• [L] : Either[L, _]

[KacperFKorban]

One problem here is that for Seq and List there are two possible instances for AvocADO, because there are two possible implementations of Applicative. Specifically for those cases fa.zip(fb) is different than fa.flatMap(a => fb.map(a -> _)). We should figure out which one of those to use by default in the derivation.