Ticket #7006: B.hs

File B.hs, 108 bytes (added by anders_, 11 months ago)
Line 
1{-# LANGUAGE GADTs, TypeOperators #-}
2module B where
3
4import A
5
6foo :: List (x ': xs) -> x
7foo (x :> _) = x