いろんなことに応用できるように抽象化しまくったら、使い方が分からない謎理論になりました