Removed unwieldy where block from the PClauses clause of elabDecl' in ElabDecls.hs