A simple typed input program