A3: fix small import omission in starting framework
add some extra comments about Applicative