hm-def (npm): Runtime type checking with Hindley Milner signatures
Keywords: functional-programming|hindley-milner|invariant|javascript|type-checking