something like "type inference"
fix