1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeFamilies #-} module Simple18 where type family F a type instance F Int = [Int] foo :: F Int foo = [1]