import Criterion.Main (defaultMain)

import F


--- alpha equivalence (System F types)

--- substitution

--- type checking (System F programs)



main = defaultMain [
       , bench "fib 35" $ \n -> fib (35+n-n)
       ]