하스켈이 최신수리논리학을 흡수해 괴물이 되었듯이

하스켈을 뛰어넘기위해 21세기의 수리논리학을 흡수해서 거대괴수가 나올수있을까??