let { TestEff, assert_eq, test, ? }  = import! std.test
let { (<|) } = import! std.function
let { Applicative, (*>), ? } = import! std.applicative
let list @ { List, ? } = import! std.list

let { ? } = import! std.effect

let empty_list : List Int =
    Nil

let test_list : TestEff r () =
    assert_eq (list.of []) empty_list *>
        assert_eq (list.of [10, 20, 30]) (Cons 10 (Cons 20 (Cons 30 Nil)))

test "list" <| \_ -> test_list