type inference, my only weakness. Well, almost only.

Signed-off-by: Michael Donaghy <md401@srcf.ucam.org>