Constraints and fundep resolution

Can a type system whiz have a look at this for me?