Am I a bad person? I found this incredibly tedious and, hell, I enjoy Haskell. But from reading it, it seems like we're trying to graft a Haskell-like type sys

Am I a bad person? I found this incredibly tedious and, hell, I enjoy Haskell. But from reading it, it seems like we're trying to graft a Haskell-like type system onto a couple of languages with little support for it in the first place. I think the impulse is noble but there's a truckload of boilerplate which introduces another layer of complexity. It seems brittle to me. Maybe invest the time you'd otherwise spend maintaining this kind of scaffolding into more/better tests?