base-4.4.0.0: Data/Typeable.hs-boot

{-# LANGUAGE NoImplicitPrelude #-}

module Data.Typeable (Typeable, mkTyConApp, cast) where

import Data.Maybe
import {-# SOURCE #-} Data.Typeable.Internal

cast :: (Typeable a, Typeable b) => a -> Maybe b