Haskell for all: The appeal of bidirectional type-checking | Heykuki News