More types for prg