interface Print<T> {
    fn print(T)
    fn println(T) { print "\n" print }
}

impl<T> Print<T>
requires: [Write<T>] {
    inline fn print(T) { 1 write }
}

impl<T> Print<&T>
requires: [Print<T>] {
    inline fn print(&T) { @ print }
}

impl Print<[]> {
    inline fn print([]: _) {
        "[]" print
    }
}

impl<A> Print<[A]>
requires: [Print<A>] {
    inline fn print([A]: t) { '[' print t::0 print ']' print }
}

impl<A B> Print<[A B]>
requires: [Print<A> Print<B>] {
    inline fn print([A B]: t) {
        '[' print
        t::0 print ' ' print
        t::1 print ']' print
    }
}

impl<A B C> Print<[A B C]>
requires: [Print<A> Print<B> Print<C>] {
    inline fn print([A B C]: t) {
        '[' print
        t::0 print ' ' print
        t::1 print ' ' print
        t::2 print ']' print
    }
}

impl<A B C D> Print<[A B C D]>
requires: [Print<A> Print<B> Print<C> Print<D>] {
    inline fn print([A B C D]: t) {
        '[' print
        t::0 print ' ' print
        t::1 print ' ' print
        t::2 print ' ' print
        t::3 print ']' print
    }
}

impl<A B C D E> Print<[A B C D E]>
requires: [
    Print<A> 
    Print<B> 
    Print<C> 
    Print<D> 
    Print<E>
] {
    inline fn print([A B C D E]: t) {
        '[' print
        t::0 print ' ' print
        t::1 print ' ' print
        t::2 print ' ' print
        t::3 print ' ' print
        t::4 print ']' print
    }
}