blob: 9329a408a79e46c233dec77d1ff939d7feb522be (
plain)
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
|
