Alternative (preface.Preface

module type LAWS_MONOID = sig ... end

module type LAWS_RIGHT_DISTRIBUTIVITY = sig ... end

module type LAWS_RIGHT_ABSORPTION = sig ... end

module For_monoidal
  (A : Preface_specs.ALTERNATIVE) : 
  LAWS_MONOID with type 'a t := 'a A.t

module For_right_distributivity
  (A : Preface_specs.ALTERNATIVE) : 
  LAWS_RIGHT_DISTRIBUTIVITY with type 'a t := 'a A.t

module For_right_absorbtion
  (A : Preface_specs.ALTERNATIVE) : 
  LAWS_RIGHT_ABSORPTION with type 'a t := 'a A.t