v0.1.1: explicit type inference