Lab7: s/newtype State/data State/