Liquid Haskell을 사용하여 기존 라이브러리에 정적 검사 추가하기

Writing static checks to an unsuspecting library with Liquid Haskell