Library ExtLib.Data.Monads.ContMonad

Require Import ExtLib.Structures.Monad.

Set Implicit Arguments.
Set Strict Implicit.