module Stdlib.Trait.Show;

import Stdlib.Data.String.Base open;

trait
type Show A := mkShow@{show : A -> String};