module Observer: module type of struct include Quickcheck_observer end
module type of struct include Quickcheck_observer end