Agda libraries relevant to Moonad - View it on GitHub