working out using applicatives is hard.
I might have abParser right.
done with exercise 3.