-- Unit^
:t ()
-- Char^
:t 'a'
-- Bool^
:t True
-- ľ^
:t 1
-- ^v
('a', True)
:t ('a', True)
:t ('a', True, 10)
-- Xg
:t True:False:[]
:t [True, False]
:t ['a', 'b', 'c']
:t "abc"
-- ֐^
:t not
:t length
