module Stdlib.Trait.Show; open import Stdlib.Data.String.Base; type Show (A : Type) := | mkShow : (A -> String) -> Show A;