GHCi: import Data.Void.