open Bastet;;

# module Hush (B : Interface.BIFUNCTOR) =
  struct let hush bifunctor = bifunctor |&gt; B.bimap Function.Category.id (Function.const ()) end;;
module Hush :
  functor (B : Bastet.Interface.BIFUNCTOR) -&gt;
    sig val hush : ('a, 'b) B.t -&gt; ('a, unit) B.t end

# module Hush_Result = Hush (Result.Bifunctor)
module Hush_Result : sig val hush : ('a, 'b) result -&gt; ('a, unit) result end

# let hush = Hush_Result.hush
val hush : ('a, 'b) result -&gt; ('a, unit) result = &lt;fun&gt;</code></pr