Your search +path:ex_class_hc +path:. +path:prelude_mplist +path:. +path:take_def did not match any files.
Suggestions: