fact: Definition TT {A : Type} : A -> Prop := fun _ => True.
imports: Coq(RelationClasses) ExtLib(Structures.Functor Structures.Monad Data.Monads.StateMonad Data.Monads.ReaderMonad Data.Monads.OptionMonad Data.Monads.EitherMonad)