Make the workflows typed

[theburningmonk]

As Eirik suggested here it'll be cool to use the type system to check if two workflows (write/read) match.

Here's an example of the Indexed Monad he wrote before: http://fssnip.net/jL