Upgrade microlens-*, closes #5749
Upgrade microlens-*, closes #5749

iand675/stackage,mrkkrp/stackage,Daniel-Diaz/stackage,fpco/stackage,jonschoning/stackage,michalkonecny/stackage,simonmichael/stackage