Missing getAs and getAs2 (while we have getAs1)

[andreasabel]

iso-deriving/Iso/Deriving.hs

Lines 57 to 71 in 4dca9d2

	newtype As (a :: Type) b = As b
	-- type As1 :: Type -> Type -> Type
	-- |
	-- Like @As@ for kind @k -> Type@.
	--
	newtype As1 (f :: k1 -> Type) (g :: k1 -> Type) (a :: k1)
	= As1 {getAs1 :: g a}
	-- type As1 :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type
	-- |
	-- Like @As@ for kind @k1 -> k2 -> Type@.
	--
	newtype As2 f g a b
	= As2 (g a b)

Missing getAs and getAs2 (while we have getAs1).

You might want to write things like map (proj @a . getAs) xs so a destructor for As would be great to have by default.