Declare IO types

Your file "test.jl" passes, at least.