This inspection reports nested stateful monads which may lead to architectural errors.