module Transform: sig .. end
sig
end
module BoolInfo: sig .. end
module Info: Filter.F(BoolInfo)
Filter.F
(
BoolInfo
)