idris-0.9.17: test/docs003/input

:doc Functor
:doc mine
:doc another