Example with types