Lists.java
package church.util;

import church.lang.HigherKindedType;

@SuppressWarnings("unchecked")
public class Lists {
    public static interface $Get<C, T> {
        public T get(@HigherKindedType("C<T>") C a, int b);
    }

}