buildDictionary isn't finding instances in the module being compiled

[conal]

Example:

data Foo = Foo Double

negateFoo :: Unop Foo
negateFoo (Foo x) = Foo (negate x)

instance HasRep Foo where
  type Rep Foo = R
  abst x = Foo x
  repr (Foo x) = x

foo1 :: Foo -> Foo :* (Foo -> Foo)
foo1 = andDerF negateFoo