We're missing these after thee conversion. They're the LHS of the where clause in this example:

foo = x
  where
  Foo x = pure 1