@readonly def readProfile(uid: UserId): UserProfile @total def sum(a: int, b: int): int @pure def traverse(...): I can't enforce any REST "guarantees" but I

@readonly def readProfile(uid: UserId): UserProfile @total def sum(a: int, b: int): int @pure def traverse(...): I can't enforce any REST "guarantees" but I can do it up to some extent with a custom RPC framework.