Ideas.Utils.Typeable

data IsTypeable a

typeable

class HasTypeable f

castFrom

castTo

castBetween

gcastFrom

gcastTo

gcastBetween