# Trying \`:t ((-\>) Int)\` in GHCi

**URL:** <https://discourse.haskell.org/t/trying-t-int-in-ghci/2863>\
**Category:** Learn\
**Created:** [August 10, 2021, 7:09am UTC](https://discourse.haskell.org/t/trying-t-int-in-ghci/2863 "2021-08-10T07:09:47Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![stu002](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/stu002/32/872_2.png) [@stu002](https://discourse.haskell.org/u/stu002)\
**Post date:** [August 10, 2021, 7:09am UTC](https://discourse.haskell.org/t/trying-t-int-in-ghci/2863/1 "2021-08-10T07:09:47Z")

</div>

I came across a reference to `((->) r)` in a Monad instance. Is that type also valid to query in GHCi? It just reports a parse error when I try.

---

<div class="post-metadata">

**Author:** ![hsyl20](https://avatars.discourse-cdn.com/v4/letter/h/b4bc9f/32.png) [@hsyl20](https://discourse.haskell.org/u/hsyl20)\
**Post date:** [August 10, 2021, 7:30am UTC](https://discourse.haskell.org/t/trying-t-int-in-ghci/2863/2 "2021-08-10T07:30:43Z")

</div>

`:t` gives the type of a term. Try with `:k` to get the kind of a type:

```haskell
> :k ((->) Int)
((->) Int) :: * -> *

```

---

<div class="post-metadata">

**Author:** ![stu002](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/stu002/32/872_2.png) [@stu002](https://discourse.haskell.org/u/stu002)\
**Post date:** [August 10, 2021, 9:13am UTC](https://discourse.haskell.org/t/trying-t-int-in-ghci/2863/3 "2021-08-10T09:13:12Z")

</div>

Aha – many thanks for that.