Varの大体
STの関数を自由に使われるのが嫌だったので
GADTs -> type class
simpl.
飽きた