Agda-2.3.2.2: test/interaction/Impossible.agda

module Impossible where

{-# IMPOSSIBLE #-}