mirage/mirage-types — pull request #5 by avsm (2013-12-03 21:40:33+00:00)
Title: Block: move the type error back into the module type rather than lifting...

... it out