class Object
  include LambdaDriver::Op::Proxy
  include LambdaDriver::Revapply
  include LambdaDriver::Disjunction
end