module Stdlib.Trait.Show;

open import Stdlib.Data.String.Base;

type Show (A : Type) :=
  | mkShow : (A -> String) -> Show A;