[jhc] Got a Exception: user error (UnionSolve: testBoundLT (Just Lazy-[CInteger#, FMain.p2$8], WHNF-[?]))