According to idris Show Int
is a type.
*main> :t Show Int
Show Int : Type
What is of an example of a value that has that type?
*main> :t ?
? : Show Int
What could I replace ?
with to get that behavior?
I found the answer to my question here: In Idris, is "Eq a" a type, and can I supply a value for it?
It is this single instance of the
Show
typeclassdefined in
Prelude/Show.idr
where the typeclass is also defined