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

class Identifiable o where
        {-# MINIMAL ident #-}
        type family Identificator o :: *
        ident :: o -> Identificator o