{-# OPTIONS_GHC -fplugin=T11462_Plugin #-}

module T11462 where

impossible :: a
impossible = undefined