--# -path=.:../abstract:../common:../prelude

abstract ExtraLavAbs = Extra ** {}