{-# LANGUAGE GADTs, PolyKinds, DataKinds, TypeFamilies #-}

module T8449 where

import T8449a

foo = SNil