Types within Warner Linear