Strict data types and String IO
