This project is moved to typelevel/cats-tagless