T2693.hs 174 Bytes
Newer Older
chak@cse.unsw.edu.au.'s avatar
T2693    
chak@cse.unsw.edu.au. committed
1
2
3
4
5
6
7
8
9
10
11
{-# LANGUAGE TypeFamilies #-}

module T2693 where

type family TFn a :: *

f :: Maybe ()
f = do
  let Just x = undefined :: Maybe (TFn a)
  let n = fst x + fst x
  return ()