Test Untestable Well Still Staying Sane

In the talk we will look at two powerful instruments — property-based testing and dependent types — and see how combining them we can test with a high quality systems that are hard to be tested in a good way.