Module Prime_sigs

Commonly used signatures.

module type Monad = sig ... end