mandubian · November 12, 2017 13:37
diff --git a/cartesian_cat.scala b/cartesian_cat.scala
 trait CartesianCat[->[_, _]] extends Cat[->] {
  def ⨂[A, C, D]: (A -> C) => (A -> D) => (A -> (C, D))
  def exl[A, B]: (A, B) -> A
  def exr[A, B]: (A, B) -> B
 }
	trait CartesianCat[->[_, _]] extends Cat[->] {
	def ⨂[A, C, D]: (A -> C) => (A -> D) => (A -> (C, D))
	def exl[A, B]: (A, B) -> A
	def exr[A, B]: (A, B) -> B
	}