gistfile1.rs

type demo<G: copy> = G;

iface demo_iface<U: copy> {
   fn show(U);
   fn run(fn(U), U);
}

mod demo {
   export demo_impl;
   impl demo_impl<K: copy> of demo_iface<K> for demo<K> {
      fn show(_a: K) { () }
      fn run(_f: fn(K), _b: K) { () }
   }
}

fn main() {
   io::println("meh");
}