@djspiewak for example, what happens when you have StateT in the stack? You can't run it without providing an S.
-
@dibblego@puffnfresh@nuttycom You won’t miss much in the middle.
@djspiewak @puffnfresh @nuttycom Are you trying to argue that main should not :: IO ()? Because I agree.
-
-
@dibblego@puffnfresh@nuttycom What else would main be? -
@djspiewak@puffnfresh@nuttycom As a first approximation: main :: MonadFree f => f () - Show replies
New conversation -
-
-
@dibblego@puffnfresh@nuttycom I would accept PartialT IO () as a valid answer there, or similar. -
@djspiewak@puffnfresh@nuttycom By PartialT I assume you mean FreeT (->) ? - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.