eLinearCoprime m a b = (\a1 -> negate b * a1 `mod` m) <$> recipMod a m

--
solveLinearCoprime m a b = (\a1 -> negate b * a1 `mod` m) <$> recipMod a m
solveLinearCoprime m a b = (\a1 -> negate b * a1 `mod` m) <$> recipMod a m