blob: 091ffee048f224ffa6edf15faf73ff51c31c982e (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ExplicitNamespaces #-}
module Imports( f, type (+), pattern Single ) where
import GHC.TypeLits
pattern Single x = [x]
f = undefined
|