Using Session Types as an Effect System