module SelfRecomp01 where