I am not well versed in Haskell, but wasn't the original also computing the solution with just the type system?