omochimetaru 8/16/2018 1:53 AM

まあ現状だと、

1:53 AM

appendしたあとで first! って書くのにくらべたら

1:53 AM

明示的な変換があってもNonEmptyな型があったら

1:53 AM

便利だなと思う