{-# LANGUAGE NoMonomorphismRestriction #-}

module Tests.ExpTest where

import Lambda
import Exp
import Ops
import Prelude ( ($), Int, (==), return, sequence, (>>=), and, (.), IO, Bool )

testNil :: Exp e => e [a]
testNil = nil

addOne :: Exp e => e [Int]