まだモナド?この夏のIOは一意性型ハッピー主義!

で、一意性型って何だ?

Cleanも勉強しようか……