úÎ è ^ non-portable experimentalEdward Kmett <ekmett@gmail.com> TrustworthyThis is a version of & that allows for only a single value. !This is easier to work with than " and permits extended defaulting, H but it only offers a single reflected value of a given type at a time. :Recover the value of a given type previously encoded with . Recover a value inside a  context, given a proxy for its  reified type. 6Reify a value at the type level, to be recovered with . 4Reify a value into an instance to be recovered with . You should only 5 a single value for each type. If multiple instances < are in scope, then the behavior is implementation defined.      reflection-1.2.0.1Data.ReflectionGivengivenReifiesreflectreifygiveGiftMagic