I’ve never used Haskell, so I can barely read this as-is.

But sure: I have no idea, and I expect that’s your point.

You as the writer, you don’t know either? What if I could understand Haskell, is there an option to communicate that information to me? Or is the argument that nobody but the compiler and god need know? That having an awareness of the types has no value?