infer parameter type from external type - Theo's Typesafe Cult