Services as Software%3A A Typesafe Paradigm Shift