convert the Typelevel ecosystem to use Fury

[propensive]

Here is a list of Typelevel projects to be converted:

• [ ] algebra
• [ ] alleycats
• [ ] argonaut-shapeless
• [ ] catalysts
• [x] cats
• [x] cats-effect
• [ ] cats-collections
• [ ] cats-mtl
• [ ] cats-tagless
• [ ] circe
• [ ] discipline
• [ ] doobie
• [ ] eff
• [ ] export-hook
• [ ] frameless
• [ ] imp
• [ ] kittens
• [x] kind-projector
• [ ] local-implicits
• [x] macro-compat
• [x] machinist
• [ ] monix
• [ ] mouse
• [ ] monocle
• [x] refined
• [x] scalacheck
• [ ] scalacheck-shapeless
• [x] scodec
• [x] shapeless
• [ ] shapeless-contrib
• [x] simulacrum
• [ ] specs2
• [ ] spire
• [ ] structures
• [ ] tut

[ricardoffmartins]

@propensive algebra: algebra-2.0.0.zip

[ricardoffmartins]

@propensive discipline: discipline-1.0.1.zip