IsDef (julia): maintainable type inference
Keywords: julialang|type-inference|julia