I'm having trouble understanding what you're saying here, but I think we agree?

Please do consider checking out PureScript. It's a lot of the good parts of Haskell and some of it's libraries look like sorcery they're so good.