Как распечатать чистое лямбда-выражение в Haskell (в ghci)?

Например я пишу (\x y -> x) (\x -> x) 12 и чтоб распечатал буквально (\x->x) (и не тип T->T (пробовал через :t)) Чтоб не писал "No instance for (Show..." и чтоб распечатывал любую анонимную функцию, независимо от сигнатуры. То есть, чтобы можно было использовать Haskell как интерпретатор чистого лямбда-исчисления (но с синтаксисом Haskell)