Library ExtLibExamples.MonadReasoning

Require Import ExtLib.Core.Type.
Require Import ExtLib.Structures.Monad.
Require Import ExtLib.Structures.MonadLaws.
Require Import ExtLib.Data.PreFun.
Require Import ExtLib.Data.Fun.

Set Implicit Arguments.
Set Strict Implicit.

Currently not ported due to universes