ron-0.12: 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