module C where

import A
import B

panic :: Int -> a
panic x = thing (X (Y x x))