Merge pull request #285 from tweag/user-guide-import-conventions

Import conventions for Data, Control

Author: Divesh Otwani

docs/USER_GUIDE.md

@@ -52,10 +52,17 @@ Interfacing linear code with regular Haskell is done, for instance, through the
 The data type `Ur`, short for _unrestricted_ lets you store an
 unrestricted value inside a linear value.
 
+### Import Conventions
+
+We've designed `linear-base` to work nicely with the following import conventions:
+
+- `import qualified Data.Functor.Linear as Data`
+- `import qualified Control.Functor.Linear as Control`
+
 ### Importing linear and non-linear code
 
 Most modules with `{-# LANGUAGE LinearHaskell #-}` will want to have a mix of
-linear and non-linear code and hence, import linear modules like
+linear and non-linear code and, for example, import linear modules like
 `Data.Functor.Linear` and unrestricted modules from `base` like `Data.List`.
 The pattern we've followed internally is to import the non-linear module
 qualified. For instance: