add Applicative constraint to SchemaAnalyzer