> I'm pretty sure is what the author meant.

Clearly not considering he mentions typeclass in the article.

Module signatures are similar to interface and parametrized modules allow you to do what you would do with abstract class: you define a signature and then write a module using these functions. Parametrized modules are more or less a generalization of functions which goes from module to module.