sigsolve (npm): type signature satisfiability solver under function composition
Keywords: type|signature|mad science