tbh hindley and milner did work for a reason