型レベルプログラミングについて聞きに行きました。つくばと東京はやっぱりそれなりに遠いなーと最近思う様に成って来たあたり。大学に入った頃はそうでも無かった様な気がするけど、あの時から事実としてそうだったのであればやっぱりその通りなのかもしれ…

{-# OPTIONS -fglasgow-exts #-} {-# LANGUAGE UndecidableInstances #-} data Zero = Zero data Succ a = Succ a class Add a b ab | a b -> ab where add :: a -> b -> ab instance Add Zero b b where add = undefined instance (Add a b ab) => Add (Suc…