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

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