re-parameterized haskell versions of probs 1, 2
solution -> solve in haskell versions of probs 1, 2