Add `Identity a` basic instances (#4336)
Add `Identity a` basic instances (#4336)

* Add `Identity a` basic instances

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev