module Impossible where

{-# IMPOSSIBLE #-}