elgenerics
elgenerics: 依存型プログラミングと拡張可能レコードのライブラリ