allow constraint to bind monomorphs again
properly disallow local function constraints