12.Hint

Follow the types here. Remember that A can be any type at all, including the type F[B] for some type B.