• UFO
    link
    fedilink
    arrow-up
    16
    ·
    edit-2
    11 months ago

    In Scala:

    case class Fix[F[_]](unfix: F[Fix[F]])
    case class Pie[T](filling: T)
    def ohNo: Fix[Pie] = Fix(Pie(ohNo))