README.md

TypeScript --noImplicitAny is not enough!

oops.ts

function makeConsumer<A>(): (a: A) => void {
  return (a: A) => console.log(a);
}

function dealWithTwoThings<A, B>(a: A, b: B) {
  // This function compiles under 1.8.9 since tsc infers `consumer` to be `(a: {}) => void`.
  // I feel that it should be an error as I obviously forgot to write the type parameter for
  // the invocation of `makeConsumer` here.
  const consumer = makeConsumer();
  consumer(a);
  consumer(b);
}