Basement.Compat.AMP
type
AMPMonad
m