ron-0.13: lib/RON/Util.hs
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
module RON.Util (
Instance (Instance),
) where
data Instance c = forall a. (c a) => Instance a
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
module RON.Util (
Instance (Instance),
) where
data Instance c = forall a. (c a) => Instance a