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