Proper import prelude test case.