ClosedFam1.hs-boot 132 Bytes
Newer Older
1 2 3 4 5 6 7
{-# LANGUAGE TypeFamilies #-}

module ClosedFam1 where

type family Foo b where
  Foo Int = Bool
  Foo [different] = Maybe different