Functional Programming - 27: Type Class in fp-ts DEMO