(Discussion: is affine + phantom types a more or less practical -- legible, compositional -- encoding than monads + refinements?)
Those don't seem to be at odds with each other. I do think that affine/phantom are easier to grasp than monads for most
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
(Discussion: is affine + phantom types a more or less practical -- legible, compositional -- encoding than monads + refinements?)
Those don't seem to be at odds with each other. I do think that affine/phantom are easier to grasp than monads for most