Demonstrating of FFI from Agda -> Haskell -> C in one project