{-# htermination asTypeOf :: a -> a -> a #-}