wip/lhs2tex/patches
