Add Bool, Maybe, Either implementations for Quotable (#4367)
Add Bool, Maybe, Either implementations for Quotable (#4367)

Add Bool, Maybe, Either implementations for Quotable

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