I really want this. I gave up on Ocaml because it just isn't a big enough ecosystem but everything else seems like I'm making the wrong things explicit in the code.