clarify `UnapplyInference` example
Fixes #294: `Contravariant` is not the dual of `Functor`
disable typelevel submodule in unidoc task
Override `foldLeft` for `scala.List` instance

Follow-up to 64ef598.