`type MetaHandler p m c o = String -> Explorer p m c o -> m (Explorer p m c o) ` De twee Monads in het resultaat hoeven niet zelfde Monad te zijn
type MetaHandler p m c o = String -> Explorer p m c o -> m (Explorer p m c o)De twee Monads in het resultaat hoeven niet zelfde Monad te zijn