3 ms·Nice job! Seems you could have put the TypeEnv in a ReaderT as well, might make things slightly easier.by sfvisser 13y agoNice job! Seems you could have put the TypeEnv in a ReaderT as well, might make things slightly easier.