Parameterized on two types and also stopped using records.
Be explicit about instances.
Turns out inquire is a bi{algebra}.