More detail on fantasy land.

Motivation and Semigroup.