Uniqueness for Behavioural Types | Hacker News Reader