Adds instances for synchronous ChannelF application
Simplifies internals and exports explicit functions

- Simplifies implementation by removing intermediate types
  ,directly mapping input -> expected output and vice versa.

- Exports explicit channelF application functions sendF,syncF,etc.