--# -path=.:alltenses:prelude

resource ConstructorsTha = Constructors with (Grammar = GrammarTha) ;