added tcomb-form diagram