+++ /dev/null
-
-
---================================================================================
-Simplified:
-`a' ::
- `[a{-amL-}] -> [[a{-amL-}]]'
-`a' =
- _/\_ `a{-srv-}' -> \ `s' ::
- `[a{-srv-}]'
- `s' ->
- let {
- `ds' ::
- `[[a{-srv-}]]'
- `ds' =
- `PrelBase.[]'
- {_@_ [`a{-srv-}']}
- } in
- `PrelBase.:'
- {_@_ [`a{-srv-}'] `s' `ds'}