  1
[[]];;

  2
[[1; 3]; ["hoge"]];;

  3
[3]::[];;

  4
2::[3]::[];;

  5
[]::[];;

  6   fun x - > xは汎用性が高いはずだが、2つ目の要素でboolに制限される
[(fun x -> x); (fun b -> not b)]

  1
[[]];;

  2
[[1; 3]; ["hoge"]];;

  3
[3]::[];;

  4
2::[3]::[];;

  5
[]::[];;

  6   fun x - > xは汎用性が高いはずだが、2つ目の要素でboolに制限される
[(fun x -> x); (fun b -> not b)]
