Does anyone know of any bugs that makes the type inference to break? - Theo's Typesafe Cult