The type signatures should be trivial to generate from just the names, but would still be nice to have!
The type signatures should be trivial to generate from just the names, but would still be nice to have!