ok so this part works, and we just need to get the parameters inferred
correctly.