Irrelevant types definition removed