5 lines
127 B
Haskell
5 lines
127 B
Haskell
{-# LANGUAGE ExistentialQuantification #-}
|
|
module Types.Tangible where
|
|
|
|
data Tangible = forall a . Collectable a => Tangible a
|