Module `MA.SR`

module Functor : sig ... end

module Apply : sig ... end

module Applicative : sig ... end