module Examples.InnerBase where

import Examples.TermBase (Type(..))

data Inner = Lam Type Inner
           | Var Int
           | App Inner Inner
  deriving Show