This file is called `Duals`, whereas most of the time you use singular, as in `Functor`, `NaturalTransformation`, etc. Is this intentional?