liquidhaskell-cabal-demo-0.2.0.1: include/foo.h

int foo(int);