@@ -199,6 +199,19 @@ For general library developer documentation see the `dev` directory.
199199
200200Please see [the Haskell coding style guide](https://github.com/composewell/haskell-dev/blob/master/coding-style.rst).
201201
202+### Type variable ordering
203+
204+Ordering of variables in `forall` may be important in type applications. In
205+streams, we usually declare them in this order `t m a`.
206+
207+Use the same order in constraints as well
208+
209+Example,
210+
211+```
212+func :: forall m a. (MonadIO m, Storable a) => ...
213+```
214+
202215### StreamD coding style
203216
204217Some conventions that we follow in the StreamD code are illustrated by the