1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeFamilies #-} module Stuff where data family T a data instance T Int = T Int test :: String test = "test"