-- demonstrates that _result has the wrong type sometimes
:l result001
:b 1 20
f "abc"
-- _result :: [a]. -- [Char] would be better