module Main where

import Debug.Trace

data Foo = Foo { id :: forall a. a -> a }

foo :: Foo -> Number
foo (Foo { id = f }) = f 0

main = trace "Done"