Types and operations and dispatch strategies