After reading this post, i can only see a -> b how to define more specific such as flow 0 y = y flow z flow x, y = flow z+x, y could you demonstrate using djinn to do above mapping definition to generate a function?