A short introduction to the `Aux` pattern Posted by Luigi on September 13, 2015 Let’s start saying that the Aux pattern is not a pattern, is a technique used in every library that is doing some type level programming that we need to use to overcome one Scala limitation. Every time we do a type level computation in Scala we have a type alias defined inside another class/trait, let’s see an example