Stuck using liftM on typeCheck

Question

Stuck using liftM on typeCheck

Closed this issue 8 years ago · 1 comments

I know I need to use liftM in the typeCheck function so that it returns (Either TypeError LFreshM). I took another stab at doing this today but still can't figure it out. It's like (ask) pealed away the first layer of the ReaderT and now I need to use LiftM to peal back the last layer. Can you provide some hints on what I need to do?

Answer 1 · 2016-10-03T01:05:16.000Z

The type of typecheck should be ExceptT TypeError LFreshM but you have it as an Either TypeError String.