module AnfWierd () where

-- xs :: [Int]
-- xs = let x0 = 0
--          x1 = 1
--          x2 = 2
--          x3 = 3
--          x4 = 4
--          x5 = 5
--          x6 = 6
--          x7 = 7
--          x8 = 8
--          x9 = 9
--      in [x0, x1, x2, x3, x4, x5, x6, x7, x8, x9]

xs :: [Int]
xs = let x0 = 0
         x1 = 1
     in [x0, x1]

ys :: [Int]
ys = [y0, y1]
     where y0 = 0
           y1 = 1

{-@ incr :: x: Int -> {v: Int | v > x} @-}
incr :: Int -> Int
incr y = y + length xs