Drop redundant types