fix #37 - uses type variable names from expected type