Language.SequentCore.SpecConstr