idris-0.9.18: test/classes001/input

:doc MyShow
:doc MkMyShow