Use almost all warts of typelevel/wartremover