search

fmidue / output-blocks

0 stars 0 forks source link

Applicative #3

Closed jvoigtlaender closed 1 year ago

jvoigtlaender commented 1 year ago

A lot of usage of this package looks more applicative than monadic.

Would it make sense to outright use an Applicative interface, possibly along with ApplicativeDo?

marcellussiegburg commented 1 year ago

The main reason for using a Monad is the idea of having a MonadIO instance (i.e. being able to use liftIO). But maybe this could be accomplished by just defining a transformer Monad as well (obviously not by using liftIO but by using lift).