BladeMonad is now more easily extended