liquidhaskell-cabal-demo-0.1.1.0: include/foo.c

#include "foo.h"
int foo(int x) {
  return x;
}