Fix a bug that allowed top-level type signatures to influence type inference of local definitions.
Fix a bug that allowed top-level type signatures to influence type inference of local definitions.

vituscze/norri