Kuniwak 10/13/2018 1:29 PM

てことは、自分のときの型エラーは init の誤判定な気がしてきました

1:30 PM

あー、なんかわかりました。これ NonEmpty のネストでやられそう