Îõ³h$¸²© 2012’D2015 Liyang HUBSD3vector-th-unbox@liyang.hu experimental non-portable Trustworthy #$&ÁÂÉ׬vector-th-unbox:Let's consider a more complex example: suppose we want an Unbox instance for Maybe a&. We could encode this using the pair  (Bool, a)., with the boolean indicating whether we have Nothing or Just8 something. This encoding requires a dummy value in the Nothing# case, necessitating an additional  Ðhttp://hackage.haskell.org/package/data-default/docs/Data-Default.html#t:DefaultDefault constraint. Thus: ²derivingUnbox "Maybe" [t| €D a. (Default a, Unbox a) ÒC Maybe a ’C (Bool, a) |] [| maybe (False, def) (\ x ’C (True, x)) |] [| \ (b, x) ’C if b then Just x else Nothing |]vector-th-unboxÂUnique constructor suffix for the MVector and Vector data familiesvector-th-unboxQuotation of the form [t| ctxt ÒC src ’C rep |]vector-th-unbox#Quotation of an expression of type  src ’C repvector-th-unbox#Quotation of an expression of type  rep ’C srcvector-th-unbox9Declarations to be spliced for the derived Unbox instance,vector-th-unbox-0.2.2-42MQlqmDvpW3hwHH0FvynlData.Vector.Unboxed.Deriving derivingUnbox