pituicat/src/Types/Tangible.hs

7 lines
169 B
Haskell

{-# LANGUAGE ExistentialQuantification #-}
module Types.Tangible where
import Classes.Collectable (Collectable)
data Tangible = forall a . Collectable a => Tangible a