// Typeclass pass: monomorphize based on usage, pretty much