compose functions across languages under a common type system