Types and ducks