STMモナド
ACID原則のDがないやつ
モナドの中にはtransactionをrollbackできないものは書けない
型が規制される
例えばIOとか