module Network.Telegram.API.Bot.Property.Identifiable (Identifiable (..), Identificator) where

type family Identificator a = r

class Identifiable a where
        {-# MINIMAL identificator #-}
        identificator :: a -> Identificator a