Add monoid instance for Sample

Add type class for data samples
Add toFoldM