結果 : implicit calculus examples