generated at
2/18/2025, 6:55:51 PM
Cofree型
hs
data Cofree f a = Cofree a (f (Cofree f a))