Authentication in Websockets - Theo's Typesafe Cult