The type system and separated IO is an awkward, restricting space suit:
Spending most of their time gazing longingly at the next abstraction to yoink from mathematics:
Looking at anything outside the Haskell language and the type system:
No, it’s not a space suit. It’s Iron Man’s suit!
The suit enables him to do impressive feats with confidence and safety:
Look at the immense freedom and power enabled by wearing the suit: