Doug Wilson

Change definition of StT and StM

3

Hi, Have you considered defining StT and StM as types of kind (* -> *) and requiring a Functor constraint? i.e. ```haskell class (MonadTrans t, Functor (StT t)) => MonadTransControl...

Add a "package" column to the detailed pane

3

Thanks for your wonderful project! Would it be possible to add a column to the details pane naming the package of a source location, in the same way that the...

MonadBase instance for FT and MonadBaseControl instances for FreeT and FT

1

These MonadTransControl/MonadBaseControl instances require the freed functor to have a Traversable instance. A proof of the MonadTransControl laws is supplied as a comment with the instance for FreeT. The additional...