2021-04-17 03:12:19 +00:00
|
|
|
{-# LANGUAGE ExistentialQuantification #-}
|
|
|
|
module Types.Tangible where
|
|
|
|
|
2021-04-20 02:19:54 +00:00
|
|
|
import Classes.Collectable (Collectable)
|
2021-04-18 13:07:56 +00:00
|
|
|
|
2021-04-18 12:56:32 +00:00
|
|
|
data Tangible = forall a . Collectable a => Tangible a
|