idris-0.11.2: test/interfaces001/input

:doc MyShow
:doc MkMyShow