abstract ArrityCheck = {
  fun f : Int -> Int -> Int ;
  def f 0 = \x -> x ;
      f 1 1 = 0 ;
}