Kind ECS

KECS.hs

{-# LANGUAGE FlexibleInstances    #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE UndecidableInstances #-}

data family Component a :: *

data instance  Component Health = HealthC

data instance  Component Stamina = StaminaC

newtype Health =
  Health Int
  deriving (Show)

newtype Stamina =
  Stamina Int
  deriving (Show)

components :: Component a -> [a]
components a = []

addComponent :: Component a -> a -> [a]
addComponent t a = [a]