This talk aims to shed some light on how Scala's type-level programming is essentially logic programming (sometimes with runtime benefits), and give reasoning for code, comprising 8+ implicit parameters with funny names (FnHipsterAux). It also explores some possibilities to use this fact to reimagine a better syntax for type-level computations in scala. Functional in the small, OO in the large, logic in the type system!