It’s not just safety… Types are very descriptive
Large and useful library of type abstractions
What does this function do?
f :: Event a -> Event b -> Event (Either a b)
Types can encode many important properties
- e.g. Independence of state threads, isolation of effects
Give us Polymorphic types or give us Death!