monad(s) spec; fix: rm ADT#cls; ...; v0.1.0