module
Data
.
Function
.
Tools
(
const2
)
where
const2
::
a
->
b
->
c
->
a
const2
=
const
.
const