Move doctest import of Data.Void