xodio /hm-defJavaScript20412Runtime type checking for JS with Hindley Milner signatureshindley-milnertype-checkingfunctional-programminginvariant