internal effects looking promising
embrace general recursion in the semantics