let env = [] in (packRecord "[p]P" [(map (\i [i]) env) []])

=> not []