generalized proj
Rename the infamous (from Data.Bool) T into ✓
findB -> findKey
Products
More isomorphisms