GHC 9. documentation updates, laws

• #51:
  Support GHC 9.0. Upgrade minor versions support to 8.10.4.

• #28:
  Inspection tests for prisms, ensuring optimal performance.

• #46:
  Document typeclasses laws.

• #7:
  Add typeclasses laws tests for the following types:

  • Profunctor laws for Forget
  • Monoidal laws for (->)

Thanks @CristhianMotoche, @xplosunn for helping with this release!