path: root/testsuite/tests/ghci/scripts/T13420.hs

{-# LANGUAGE TypeFamilies #-}
module T13420 where

type family F a where
  F [Int] = Bool
  F [a]   = Double
  F (a b) = Char