minad/quickcheck-special not found