Filecoin a Monad