Patrick LeBoutillier gmail.com> writes:
>
[...]
>
> exprt = Ap (Const mapt) (Const idt)
>
> test = runTI $ tiExpr initialEnv [] exprt
>
> When I execute the test function above in ghci I get:
>
> ([],TVar (Tyvar "v3" Star)).
>
> I was expecting someting like below for the type part:
>
> TAp
Hi all,
I'm working with the code that accompanies this paper
(http://web.cecs.pdx.edu/~mpj/thih/) and I'm trying to use it
but I can't figure out how to get started. I have the following code
but it is not giving me the expected result:
import TypingHaskellInHaskell
mapt = "map" :>: Forall [Sta
