すみません、ずれてしまいました。本来はapp. monadであるべきです。 xyz