- It unifies with `_115', which is mentioned in the environment
- The following variables in the environment mention `_115'
- arr :: IndTree _115 b
- itrapstate' :: Int
- -> Int
- -> c
- -> PrelST.ST _115 (c, IndTree _115 b)
- itrapstatesnd :: Int
- -> Int
- -> c
- -> PrelST.ST _115 (c, IndTree _115 b)
- In an expression with expected type: forall
- _1151.
- PrelST.ST _1151 a
+ It unifies with `s1', which is mentioned in the environment
+ The following variables in the environment mention `s1'
+ arr :: IndTree s1 b
+ itrapstate' :: Int -> Int -> c -> ST s1 (c, IndTree s1 b)
+ itrapstatesnd :: Int -> Int -> c -> ST s1 (c, IndTree s1 b)
+ In an expression with expected type: forall s2. ST s2 a