mirage-block-combinators
Mirage_block_patterns
module B = Mirage_block
module Fill (Block : B.S) : sig ... end