Adaと、あとなんか他でもあった気がするけど、型を定義する文法で
型名 is
ってisをつけるの、最初見た時は「なんじゃこりゃ＞＜；」って思ったけど、見易さ的にわりとよさそうって思ってきた＞＜