Language.Syntactic.Frontend.TupleConstrained
class
TupleSat
dom p