example haskell project with agda code generation