There are a couple of existing path fusion rewrites which should be conditioned so they only occur in the EvalPath context. Those are:

1. The rewrite which does the following:

fuse p1 (PathLambda e1)  ->  ComposeM p1 (PathLambda e1)

2. The rewrite which does the following:

fuse p1 (PathConstant e1) -> ComposeM (PathConstant e1) p1

3. The rewrite which does the following:

PathComposeM (p1 | p1 is known to be non-Nothing) (PathDefault e2) -> p1