そのラムダ計算には型があるのかないのか
副作用があるのかないのか
なにも定義されていない