Haskellではモナドを return と bind 関数を用いて定義するが、return にふたつの演算子 join と fmap を加えることでも定義可能である。この定式化は圏論における元のモナドの定義により近くなる。fmap 演算子は型 (t→u) → M t→M u を持ち、ふたつの型間の関数を受け取って、モナドの中の値に「同じこと」をする関数を返す。join 演算子は型 M (M t)→M t を持ち、二層になったモナド的な情報を平らにしてひとつにする。ふたつの定式化は以下の関係を持つ。fmap f m = m >>= (return . f)join n = n >>= idm >>= g   ≡   join (fmap g m)ここで、m は M t、n は M (M r)、f は t → u、g は t → M v の型を持つ。t、r、u、v は元の型である。モナドでなくても、型と関数からなる圏では fmap 関数は任意の函手に対して定義できる。函手は次の法則を満たす。fmap id   ≡   idfmap (f . g)   ≡   (fmap f) . (fmap g)同じ圏で、return は基点付き函手を特徴付ける。これは値を函手の中に「持ち上げる」ことによる。満たすべき法則は次の通りである。return . f ≡ fmap f . returnさらに、join によってモナドが特徴付けられる。join . fmap join     ≡ join . joinjoin . fmap return   ≡ join . return = idjoin . fmap (fmap f) ≡ fmap f . join
bind関数（ >>= とも）は「モナド的値」と「値をモナド的値へうつす関数」を引数にとり、第1引数のモナド的値を第2引数関数の値域へうつす。
unit関数（ return とも）は型 x の引数を型 M x の返り値にうつす関数である。すなわちunit 関数は型 x の値をモナド型 M x の値へうつす多相な関数である。引数値変換の有無は定義されない（一般には値を変換せずに保持する（例:入力 1 =>出力 Maybe(1)）。
class Monad M where...value :: M x型構築子Mは、ある型 x から派生した型を得る方法を定める。得られる型はしばしば M x で表記される。
モナドは、元となる型システムが与えられたとき、その内部に対応する型システム(モナド的型システムと呼ぶ)を埋め込む構成である(つまり、各モナド的型は元のシステムの型でもある)。このモナド的型システムは元の型システムの重要な点は全て保存するが、モナドに固有の特徴を追加する。モナドは複数の方法で定義できる。そのうちの1つは「モナドとは、ある法則（モナド則）を満たす三つ組みである」で表される定義である。すなわち圏論のクライスリ圏におけるクライスリトリプルである。
プログラム言語Haskellはモナドを多用する関数型の言語であり、簡単にモナドの合成ができるような構文糖衣を持っている。特に指定がない限り、この記事のコード例はHaskellで書かれている。モナドの紹介として一般的なふたつの例 Maybe モナドと I/O モナドを取り上げる。もちろん、モナドはHaskellに限られたものではないので、JavaScriptでの Writer モナドの例もその次に扱う。
2001年7月26日、南部虎弾率いる「チーム南部」所属としてスマックガール・渋谷club ATOM大会で佐藤めぐみとReMixアマチュアルールで対戦し、フロントチョークで一本勝ちを収めた。2002年3月2日、スマックガールのメインイベントで辻結花と対戦予定であったが、40度の高熱を理由に欠場した（公式記録は0秒、タオル投入によるTKO負け）。2003年11月24日、12月28日にはJDスター女子プロレスに参戦、石川美津穂と「総合格闘技戦」を行い1勝1敗。以後、JDスターなどでプロレスの試合も行うようになった。2004年6月6日、Love Impact第2回大会で増山ともえにキャメルクラッチで一本勝ちし、プロ総合格闘技初勝利となった。2005年12月31日、スマックガールが立ち上げた女子プロレス興行「GIRLS DOOR」第2回興行（新宿FACE）で、篠原は横瀬いつかと共に大向美智子に暴行を働いた。2006年8月26日に東京・西調布格闘技アリーナで行なわれた二見社長が主催する「T-1スペシャル」で、約8ヶ月ぶりに女子プロレスのリングに復活。堀田祐美子と変則タッグマッチで対戦した。以降、「T-1興行」のレギュラーとして活躍。2007年1月21日に東京・新宿FACEで行われた「ベニー"THE JET"ユキーデ・プロデュース 武頼漢 -BURAIKAN- J・BOY！」で、アメリカのリーソル・ウィルカーソンを腕ひしぎ十字固めで下し、初代UKF女子総合格闘技王者となった。6月5日、新木場1st RINGで開催された「T-1スペシャル」で、折原偽夫と一騎討ち。無効試合で終わるが、桜井亜矢と再試合を行い腕ひしぎ十字固めで一本勝ち。2007年7月26日に東京・後楽園ホールで行われた南部虎弾プロデュース興行「DEEP GLOVE」のUKF女子総合格闘技タイトルマッチ（5分2R）で、ゲベカ・ベック・ニネス（オーストラリア/挑戦者）にストレートアームバー（DEEPの公式記録はアームロック）による一本勝ちを収め、初防衛に成功した。10月8日、「T-1グランプリ」新宿FACE大会で、石川雄規と最強師弟タッグを結成し菊タロー＆佐野直と対決。17歳で出産した娘・AYAがいるが、2008年、格闘技歴が全くないにもかかわらず自分が事故で欠場した試合に出場させた。2008年12月22日、DEEP PROTECT IMPACT 2008で自分より9kgも軽いMIKUと対戦したが、何もできないまま腕ひしぎ十字固めで一本負けを喫した。2009年2月12日に元WBA世界ジュニアバンタム級王者のヨックタイ・シスオーと入籍し、2月19日に挙式を行った。11月には長男を出産した。2009年9月、夫とともに宮城県柴田郡大河原町にヨックタイジムをオープンさせた。