module Camp.Patch.Anonymous where

data Anonymous1 p where
    Anonymous1 :: p ctxt -> Anonymous1 p