Version 0.1.0.0-0 of harmony is deprecated.
The latest version of harmony is 0.1.1.0-0.

TypeCheck.StaticCheck

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?