Restricted Lie Algebras via Monadic Decomposition