'Path Fn </> Path Fn' leads to incorrect semantics. The only fix is introducing complicated type family machinery, which isn't justified.
'Path Fn </> Path Fn' leads to incorrect semantics. The only fix is introducing complicated type family machinery, which isn't justified.