[toolslive]

Yes, uniquenes types for IO (with proper syntactic sugar) really felt powerful, elegant and correct all at the same time.