implementation module Data.Void