Polymorphic Monads A universe-polymorphic monad library built on top of stdpp. Use To use the library, require via the following command: Require Import bedrock.upoly.upoly.