Library ExtLib.Tactics.MonadTac

Require Import ExtLib.Core.Type.
Require Import ExtLib.Structures.Proper.
Require Import ExtLib.Structures.Monads.
Require Import ExtLib.Structures.MonadLaws.
Require Import ExtLib.Tactics.TypeTac.

Set Implicit Arguments.
Set Strict Implicit.