module Prelude where asTypeOf :: a -> a -> a asTypeOf = const