Add Data.Erased to libs/base

This patch adds the `Erased` monad.