• Haskell typefun (интересно я уже всех тут достал) есть:

    data M = A | B

    getSingletons [''M]

    data S :: (M -> *) where

    есть Ptr (S a), могу ли я по Ptr (S a) выдернуть синглетон?


    пока писал понял как сделать это с проксёй

Replies (1)