jdanbrown

#!/bin/bash
exec ~/src/scala/bin/scala -savecompiled "$0" "$@"
!#

// Example of object algebras, based on the scala example at http://ropas.snu.ac.kr/~bruno/oa/

// type Term = ∀A,O. O[A] -> A
trait Term[O[_]] {
  def apply[A](o: O[A]): A
}