Re: type checking LazyST