add WriterT example
add Transformer notes