Description
@alexeygolev showed an interesting way of writing tests for the ramda libdef over in this pull request: #95
Basically the idea is that we could have the test runner (a) typecheck the test code (contains type asserts just like we have today) and then (b) actually run the tests (using the actual npm library) to make sure they pass.
This could help bridge the uncertainty gap between a libdef and it's actual implementation.