forgot to mark s-type and s-newtype as not ok-last statements