dak (npm): Static type checker using Hindley–Milner type signatures
Keywords: cli-app|cli|type|types|static type checker|Hindley-Midner|type system