T7797.hs 293 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
{-# LANGUAGE ExistentialQuantification #-}
module Main where

import T7797a 

data Box = forall a. (Size a) => Box a a 

box = Box (go 10000000) (go 10000000) where
  go :: Int -> [Int]
  go 0 = []
  go n = 1 : go (n - 1)
{-# NOINLINE box #-}

main = print $ case box of
  Box l r -> size l r