핀테크의 한계를 넘는 하스켈: 머큐리가 수백만 줄의 코드로 증명한 엔지니어링의 정수