The compiler says an entire functor (all the contents of Make)
is "not included" in a named signature (PST). How can I
localize the problem to some specific part(s) of the module?
Here's the code: http://pastebin.com/mWgxMVNmAnd the compiler error message: http://pastebin.com/B0mAZhqw