Profunctors as Relations | Hacker News Reader