Uncurriable with fundeps