On Wed, Jun 10, 2015 at 1:06 PM, Brandon Allbery <allbery.b@gmail.com> wrote:
asString :: Monad m -> m b -> m b
Typoed, sigh....
asString :: Monad m => m b -> m b
The thing before the => is a "constraint", in this specifying that the type "m" must be a type for which an instance of the Monad typeclass has been defined.