"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
"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