Inference vs type definition - Theo's Typesafe Cult