add show for typed comprehensions