Data.Function.Tacit

type family Lurried (a :: *) where ...

class Lurry f

s

z

_1

_2

_3

_4

_5

_6

_7

_8

_9

data Nat

type N0

type N1

type N2

type N3

type N4

type N5

type N6

type N7

type N8

type N9

type family Take (n :: Nat) (p :: *) where ...

lurryA

shift