読めない(理解できない)けれど似ていそうな雰囲気。また見に行く*1。[id:yts:20041126#p1] *1:アンテナでできるのかな？

長さをタイプチェックできるリストが欲しかったので、 infixr 5 :*: data FixedList b a = a :*: b a -- deriving Show -- 要るかな？ data Nul a = Nul deriving (Show, Eq) instance Functor Nul where fmap _ _ = Nul instance Functor b => Functor (Fix…