1 2 3 4 5 6 7
{-# LANGUAGE DataKinds #-} module T3 where import GHC.TypeLits f :: TypeError (Text "This is a type error") f = undefined