For the code at https://github.com/alanz/tide/blob/f1048311dd9ddda115ef06c57825720d046af12d/src/Lex.hs#L135 - using `liftOneLevel` introduces a syntactically invalid `where` clause as it is located at the wrong place - lifting to the top level does not add a parameter for the locally bound variable `item`.
For the code at https://github.com/alanz/tide/blob/f1048311dd9ddda115ef06c57825720d046af12d/src/Lex.hs#L135
liftOneLevelintroduces a syntactically invalidwhereclause as it is located at the wrong placeitem.