enhanced debugging to drill-down into monadic types