Structure inference infers lambda