Text.Show.Text.Data.Proxy