maybe_monads: Top, Top*

This data as json