bugfix which uses type-signature as a result-type