Make.Builder
module type Siso = sig ... end
module type Sipo = sig ... end
build single input pair outputs operations
module type Sito = sig ... end
build single input triple outputs operations
module type Siao = sig ... end
module type Piso = sig ... end
build pair inputs single output operations
module type Aiso = sig ... end