amalinko

apiVersion: networking.istio.io/v1alpha3
kind: EnvoyFilter
metadata:
  name: envoy-filter-for-service-a
  namespace: my-namespace
spec:
  workloadSelector:
    labels:
      app: service-a
  configPatches:

amalinko

object Tf extends App {

  trait Term[F[_]] {

    def lit(x: Int): F[Int]

    def add(x: F[Int], y: F[Int]): F[Int]

    def gt(x: F[Int], y: F[Int]): F[Boolean]