Session type exposed, play is totally monadic dude!