fact: Definition fromMaybe `(x : a) (my : Maybe a) : a := match my with | Just z => z | Nothing => x end.
imports: Category.Lib Category.Theory.Coq.Functor Category.Theory.Coq.Applicative Category.Theory.Coq.Monad Category.Theory.Coq.Semigroup Category.Theory.Coq.Monoid Category.Theory.Coq.Traversable