[Functional Programming] Introduction to FP (TypeScript & fp-ts)：代數基礎 Ord / Monoid

前言