>>308
>本当はNullは型だけあってインスタンスのnullはないほうがいいけどjvm上で動く言語なのでそれはできないし
界面でNull非許容にして実現してるJVM言語はあります

>>311-312
Option(Maybe)はnullのハンドルを強要するだけの型だよ
モナドでなくとも推論で排除してくれるなら十分
モナドを扱う＝高度な技術とでも思ってるなら大間違い