Total revamp into real Deadpan monad