Your approach is better on a mathematical sense, yes. That’s how Haskell does it.