haskell - Haskell/HappStackの構文と型署名に関する初心者の質問

Question

どうしてできないの？

z = x?

しかし、私はこれを行うことができますか？

y s = x s

私はHaskellの初心者ですこれは私がGHCiで試していることです：

Prelude> import Happstack.Server
Prelude Happstack.Server> let x s = ok $ toResponse $ "Some string"
Prelude Happstack.Server> :t x
x :: FilterMonad Response m => t -> m Response

Prelude Happstack.Server> let y s = x s
Prelude Happstack.Server> :t y
y :: FilterMonad Response m => t -> m Response

Prelude Happstack.Server> let z = x
<interactive>:1:9:
    No instance for (FilterMonad Response m0)
      arising from a use of `x'

Answer 1

単相制限の別のケースのように見えます。

引数を明示的に含めるかy s = x s、明示的な型シグネチャを含めるか、。を指定してGHCiを実行することができます-XNoMonomorphismRestriction。