    {-# LANGUAGE Haskell2010 #-}
    {-# LANGUAGE TypeFamilies #-}

    module Types where

    data Quux = Bar | Baz

    newtype Foo = Foo ()

    type FooQuux = (Foo, Quux)
    type QuuxFoo = (Quux, Foo)

    data family Norf a b

    data instance Norf Foo Quux = NFQ Foo Quux
    data instance Norf Quux Foo = NQF Quux Foo

    type family Norf' a b

    type instance Norf' Foo Quux = (Foo, Quux)
    type instance Norf' Quux Foo = (Quux, Foo)

    norf1 :: Norf Foo Quux -> Int
    norf1 :: Norf Foo Quux -> Int
    norf1 (NFQ (Foo ()) Quux
    Bar) = Int
    0
    norf1 (NFQ (Foo ()) Quux
    Baz) = Int
    1

    norf2 :: Norf Quux Foo -> Int
    norf2 :: Norf Quux Foo -> Int
    norf2 (NQF Quux
    Bar (Foo ())) = Int
    0
    norf2 (NQF Quux
    Baz (Foo ())) = Int
    1

    norf1' :: Norf' Foo Quux -> Int
    norf1' :: Norf' Foo Quux -> Int
    norf1' (Foo (), Quux
    Bar) = Int
    0
    norf1' (Foo (), Quux
    Baz) = Int
    1

    norf2' :: Norf' Quux Foo -> Int
    norf2' :: Norf' Quux Foo -> Int
    norf2' (Quux
    Bar, Foo ()) = Int
    0
    norf2' (Quux
    Baz, Foo ()) = Int
    1