Similar idea but what if you were to write your tests first and then upload them to a site that pieces together the required modules to pass them and generates an API against the modules.
(Same reason the pseudo-Idris language would have to be non-Turing-complete)