{-# LANGUAGE StaticPointers #-}

foo :: StaticPtr Int
foo = static 5

bar :: StaticPtr [Int]
bar =
    static
        [ 1
        , 2
        , 3
        ]

baz :: StaticPtr Bool
baz =
    static
        ( fun
            1
            2
        )