Haskellで置換アルゴリズムを書こうとしています。Subst a
単一のコンストラクターでポリモーフィックデータ型を次のように定義しS::[(String, a)] -> Subst a
ました。
data Subst a = S [(String, a)]
single::String -> a -> Subst a
ここで、単一の変数のみの置換を作成するための関数を作成したいと思います。
これは私が試したものです:
single::String -> a -> Subst a
single s1 (Subst a) = s1 a
ただし、次のエラーが発生します。Not in scope: data constructor 'Subst'
誰かが私が間違っていることについて洞察を持っていますか?