The derivation idea isn't too difficult to understand, because it is rather elegant. The problem with derivations is that they are like a library without a ref

The derivation idea isn't too difficult to understand, because it is rather elegant. The problem with derivations is that they are like a library without a reference The functions that are to be used in derivations aren't documented clearly, at all, or in an obvious place.