--# -path=.:../abstract:../../prelude concrete ShallowEng of Shallow = ShallowI with (Resource = ResourceEng) ;