--- /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'}