State型を返すreturnへの型注釈はどうやって付ければいいですか
statereturn :: a -> State ???
statereturn = return

最終的にやりたいことは
ttp://www.sampou.org/cgi-bin/haskell.cgi?Memoise
ここにあるmemoise/ins/findにState型を使って型注釈をつけることです