[Haskell-cafe] simple type?

Hello; I am writing some vectorized code, and I wondered exactly which types can be used in DPH? Is it true one cannot use data constructors and recursive types? Thanks, -Jamie