Hi,
I think the `forall a` is binding `[Int]` which explains the previous error.
I now have
`st :: [Int] -> [Int]` -- result of unification and substitution
`tx :: [Int] -- argument type
I can `mkAppTy st tx` which gives an unapplied application
`mkAppTy st tx` --> [Int] -> [
Hi,
I have two variables
spin :: forall a. [a] -> [a]
alist :: [GHC.Types.Int]
I can dynamically load and apply them. What I cannot figure out how to do
is apply the type of `spin` to the type of `alist` to get
(spin alist) :: [GHC.Types.Int]
When I use `Type.applyTy` I get the erroniou
