lazy ST instances