-- | This function returns the list of visible TyThings (useful for
-- e.g. showBindings)
icInScopeTTs :: InteractiveContext -> [TyThing]
icInScopeTTs = ic_tythings
icInScopeTTs :: InteractiveContext -> [TyThing]
icInScopeTTs = ic_tythings
icInScopeTTs = ic_tythings