relax function type sigs