parse1: newtype State -> data State