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 Has

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.