hayoo
hayoo copied to clipboard
signature search: normalizing to type variables
"Maybe I'm just unclear about what Yahoo indexed. 'Maybe String -> String' doesn't have "fromJust" in the first page of hits, but "Maybe a -> a" is just fine."
we don't need to put this into the index, but the query generator could normalize this to Maybe a -> a