SOP.Monadic:  reinstate choice for sum support and ensure the desired result typechecks
SOP.Monadic:  reinstate choice for sum support and ensure the desired result typechecks

deepfire/holotype,deepfire/holotype,deepfire/mood