Parameter MakeStateMonad.T

type s