Interpreting the strictness annotations output by ghc --show-iface

[Johan Tibell]

Hi,

If someone could clearly specify the exact interpretation of these
LLSL(ULL) strictness/demand annotations shown by ghc --show-iface I'd
like to try to write a little tool that highlights the function
argument binding in an IDE (e.g. Emacs) with this information. Anyone
care to explain the syntax?

Cheers,
Johan