Fixed fully-applied type vs operator type bug.