Add 'Types manipulation'
Remove Identity form 'Algebraic data-types'