仕組み的にはtagged的だけど、使えるポジションが関数型の返り値部分で１回だけって文法で制限してるから

5:41 AM

untagged的な特徴も持っている