ClosedFam3.hs 256 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
{-# LANGUAGE TypeFamilies #-}

module ClosedFam3 where

import {-# SOURCE #-} ClosedFam3

type family Foo a where
  Foo Int = Bool
  Foo Double = Char

type family Bar a where
  Bar Int = Bool
  Bar Double = Double

type family Baz a where
  Baz Int = Bool