Add mapM and spec