1
2
3
4
5
6
7
8
9
10
11
12
13
|
module Prelude.Unit (
Unitdatatype `Prelude.Unit.Unit`
kind `*`
executable(..)case-constant `caseUnit`
constructor `Unit`
,
Itselfdatatype `Prelude.Unit.Itself`
kind `* -> *`
executable(..)case-constant `caseItself`
constructor `Itself`
) where
{-# NoImplicitPrelude #-}
datatype Unitdatatype `Prelude.Unit.Unit`
kind `*`
executable := Unit
datatype Itselfdatatype `Prelude.Unit.Itself`
kind `* -> *`
executable 'atype-variable `'a`
kind `*` := Itself
end-moduleend of module Prelude.Unit
|