More progress on Moonads.