サブセットである悲しさとして、以下のような違いがある。引っ張ってきた関数もエクスポートされているが、やはり足りないので、必要な関数はコピペしてやる必要がある。上の例では、MyPrelude.hsにそのような欠けている関数のコピペ群がある。対応するパーズ関数を読んでやる必要がある。みたいな形で切り出して用意しておくと良いだろう。外部パッケージに依存出来ない。モジュールと、ローカルのモジュール以外の外部ライブラリのモジュールはインポート出来ない。パッケージなど基本的なものも含めてインポート出来ない。は......詳細後述。以外のモナドは実質使えない。モナドに特化した形に書き換えられている。使えないので余り意味を成さない。この制限は正直かなしかった。ような書き方が出来ないのは割と辛いものがある。噛ませて引数として引き回すしかない。型検査は出来るが、実行は出来ない関数がある。実行出来ない関数がある。数値計算や文字列処理の辺りだ。扱いなので、こういった操作を行おうとすると失敗する。読み込むなどして動かしてみて試すしかない。ソーコードを読もうと思ってはいけない。オプションを付ければちょっとは読み易くはなり、公式サイトのほうにシンボルの読み方等はあることにはある。このような関数をデバッグするのは、ちょっと慣れないと大変だ。使えない言語拡張がある。サブセットなので、全ての言語拡張を使える訳ではない。系の拡張はまあ残念ながら全滅。使えるようだが、レコード構文がネストすると上手くパーズ出来ないようだ。....のような構文もサポートされていないらしい。コマンドにソースを通すと判るので、適宜それを使わないように書き換えていく必要がある。ほしい」と云う要望としても表現出来る。いうかそうした立場のほうが一般的だ。した視点も加味して、以下のような選択肢もあるらしい3。Roy型推論や函数型言語的な要素を含んだ言語。ような構文に、型注釈や型推論を追加した言語。強力な型システムやクロージャなどを備えた言語。