Provides Data.Void