Scoped implicits and type classes

scoped.idr

AnyST : Type -> Type -> Type
AnyST s a = {m : _} -> Monad m => StateT s m a
  
foo : AnyST Integer ()
foo = do x <- get
         put (x + 1)
  
wibble : StateT Integer Maybe ()
wibble = foo
  
appShow : Show a => ({b : _} -> Show b => b -> String) -> a -> String
appShow s x = s x
  
myshow : Show a => a -> String
myshow = show
  
bar : Int -> String
bar x = appShow myshow x

bar' : Int -> String
bar' x = appShow show x