so while you have described your program entirely ...

# arrow

[raulraja]

so while you have described your program entirely in terms of behaviors at the edge of your app you can make it concrete to the stack of datattypes aliased in Result