{-# LANGUAGE TypeFamilies #-}

type instance Foo Int = Int

type instance
  Foo
    [Int] =
    ( Int,
      Int
    )

type instance Bar Int [Int] Double = (Int, Double)

type instance
  Bar
    [Int]
    [Int]
    Double =
    ( Int,
      Double
    )