show that haskell has already solved everything