search

morphismtech / free-categories

free categories
BSD 3-Clause "New" or "Revised" License
9 stars 2 forks source link

minimal contraints on Show instance #8

Closed echatav closed 4 years ago

echatav commented 4 years ago

Only need to quantify over the "inner" variable