blob: 71fd3b4552d8d3541492f9fde19250b15821d65d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE ExplicitNamespaces #-}
{-# LANGUAGE PatternSynonyms #-}
import Data.Type.Equality ( (~) )
import Data.Maybe ( Just )
import Data.Maybe ( Some )
import Data.Maybe ( Maybe(Some) )
import Data.Maybe ( Maybe(Just,Some,Mk) )
import Data.List ( type (!!) )
import Data.Type.Equality ( pattern (:~:) )
import Data.Maybe ( pattern Just )
import Data.Maybe ( pattern Some )
import Data.Maybe ( pattern Maybe )
|
