Typed Functional Programming in TypeScript with fp-ts