Generation of DataCons for implicit PArray instances