清水区殿沢『鐘壱』さん夏限定の冷たい麺メニュー始まりました！ www.sakuyaoi.com/entry/show1 定番甘酸っぱい具沢山【冷やし中華】と、牛肉に甘辛タレ＆クリーミー卵【旨辛牛冷やし中華】 【冷たいカレーうどん】はドロッと濃厚で甘めなネギもアクセント！いつでも無料なアイスコーヒー＆かき氷も最高な季節ですね！ζζ
show1的聲音好可愛
[ANN] auto-lift-classes-1.1 Have you ever needed to define a Show1 or Read1 instance? They are derivable! hackage.haskell.org/package/auto...
![the following Haskell code:
instance (Eq1 f) => Eq1 (Rose f) where
liftEq :: Eq1 f => (a -> b -> Bool) -> Rose f a -> Rose f b -> Bool
liftEq cmp (Leaf x xs) (Leaf y ys) = cmp x y && liftEq (liftEq cmp) xs ys
instance (Eq1 f, Eq a) => Eq (Rose f a) where (==) = eq1
instance (Show1 f) => Show1 (Rose f) where
liftShowsPrec :: Show1 f => (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Rose f a -> ShowS
liftShowsPrec s1 sMany prec (Leaf x xs) rest = "Leaf " ++ s1 prec x (" (" ++ liftShowsPrec (liftShowsPrec s1 sMany) (liftShowList s1 sMany) (prec - 1) xs ")" ++ rest)
instance (Show1 f, Show a) => Show (Rose f a) where showsPrec = showsPrec1](https://cdn.bsky.app/img/feed_fullsize/plain/did:plc:5vg4f2f3kkvapygg5nkji7k3/bafkreibwuazjd3iqk5har3abiadbp5dcznxfr65ibr37tvuuvtdt3ad4dy@jpeg)