Reduce problem - Theo's Typesafe Cult