Added monoidA: FTL-version of Alternative.
Gave maybe a monoidA instance.