Locally abstract typeについてメモを続けていく。今回は構文について。 locally abstract typeに関する構文は４つある。そのうち３つは糖衣構文と言っていい。 基本構文 まず一番基本の構文 fun (type a) -> e ぱっと見では関数式のように見えるが、上記の…