Comment by seanmcdirmid

> MLs or Haskell where the seatbelt magically appears around you.

Well, only if you don't need nominal subtypes.