- data Untyped = forall b . Typeable b => Untyped b
- casting :: (Typeable a, Typeable c) => (a -> b) -> c -> Maybe b
- data Serial = forall b . (Read b, Show b, Typeable b) => Serial b
- toUntyped :: Serial -> Untyped
- parseSerial :: [Serial] -> Serial -> Maybe Serial
- type ParseSerial a = (Serial -> Maybe Serial) -> a -> Maybe a