Re: Typed splices and type checking