MonadicPostulates.lidr 1.1 KB