@djspiewak AAAUGH. Stop saying such awful things! It hurts my brain. :(
-
-
-
Replying to @puffnfresh
@puffnfresh@nuttycom Except that you cannot define F ~> IO for any monad stack other than IdT[IO, _].1 reply 0 retweets 0 likes -
-
Replying to @puffnfresh
@puffnfresh@nuttycom Code time! Please define for me OptionT[IO, _] ~> IO.3 replies 0 retweets 0 likes -
Replying to @djspiewak
@djspiewak@puffnfresh@nuttycom There are a bazillion of values for F besides IdT. I would encourage you to try to think of some first.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@puffnfresh@nuttycom You won’t miss much in the middle.1 reply 0 retweets 0 likes -
Replying to @djspiewak
@djspiewak@puffnfresh@nuttycom Are you trying to argue that main should not :: IO ()? Because I agree.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@puffnfresh@nuttycom What else would main be?1 reply 0 retweets 0 likes
@djspiewak @puffnfresh @nuttycom As a first approximation:
main :: MonadFree f => f ()
-
-
Replying to @dibblego
@dibblego@puffnfresh@nuttycom *shrug* I’d accept that.0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.