snocの暗黙引数の宣言が間違ってたので修正