Interface Hkt2

Type of order 2. arg2 -> arg1 -> *.

interface Hkt2 {
    arg1: unknown;
    arg2: unknown;
    type: unknown;
}