f = foo (\i -> writeIdea (getClass i) i)