How to define an async procedure? - Theo's Typesafe Cult