1 2 3 4 5 6 7 8 9
{-# LANGUAGE GADTs, PolyKinds, DataKinds, TypeFamilies #-} module T8449 where import T8449a foo = SNil