1 2 3 4 5
{-# LANGUAGE TypeFamilies, TypeOperators #-} data family (a + b) c d data instance (Int + Bool) Double = Float