Extension Monads: Some Structure Theorems | Synapse