type applications - Polysemy

is it a bad sign if i start to rely on type applications in my effects machinery ? i fumbled around and even in simple cases like calling a Sem within another Sem with the same constraints, ghc seems to need indications e.g.

prog1 :: Member (Reader c) r => Sem r ()
prog1 = undefined

prog2 :: forall c r. Member (Reader c) r => Sem r ()
prog2 = prog1 @c

without the type application after prog2 = prog1, this doesn't compile

yep, either that or you can use the plugin

rofl i wish i had known that 2 days ago