Couple of typed examples