Keep global constraints on type signatures

Fix #95