search

haskellari / some

Existential type.
BSD 3-Clause "New" or "Revised" License
36 stars 13 forks source link

Port "Implement GRead using an existential" #28

Closed 3noch closed 4 years ago

3noch commented 4 years ago

from https://github.com/obsidiansystems/dependent-sum/pull/13

phadej commented 4 years ago

GRead is implemented using existential in some. It happens to be Data.Some.Church.Some now though, and not GADT.