You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Using a Tardis with no monad underneath will prove to be most common use case. Practical uses of a TardisT require that the underlying monad be an instance of MonadFix, but note that the IO instance of MonadFix is almost certainly unsuitable for use with Tardis code.
However, it is not clear why this is the case.
The text was updated successfully, but these errors were encountered:
The documentation of Tardis states:
However, it is not clear why this is the case.
The text was updated successfully, but these errors were encountered: