なお、MirandaやHaskellの型シノニム宣言では再帰は許されていないので、以下のようなHaskellでの型定義は不正である:typeBad=(Int,Bad)typeEvil=Bool->Evilそれに対し、見た目は等価に思える代数データ型は正当であり利用可能である:dataGood=PairIntGooddataFine=Fun(Bool->Fine)型理論では、再帰データ型の一般形はμα.Tで表される。
递归不允许在Miranda语言中和Haskell的同义类型中出现，所以以下的Haskell类型是非法的：typeBad=(Int,Bad)typeEvil=Bool->Evil相反地，表面上是相等的代数数据类型却是可以的：dataGood=PairIntGooddataFine=Fun(Bool->Fine)本条目部分或全部内容出自以GFDL授权发布的《自由线上电脑词典》（FOLDOC）。