Exporting Control.Monad.Logic from Control.Monad.Predicate.
Accidentally added a period...
Slightly less agressive use of ($) and point-free form.
Fixed documentation error.