module Validation: sig .. end
sig
end
A data-type like Either but with an error-accumulating Applicative
module Make: functor (S : Semigroup.S) -> sig .. end
functor (
S
:
Semigroup.S
) ->