{-# LANGUAGE StaticPointers #-}

foo :: StaticPtr Int
foo = static 5

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

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