f g = a where a = g a -- 3:11-3:12: Couldn't resolve a.