[the_gipsy]

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

[tome]

Yup