# How Do You Read Types?

**URL:** <https://discourse.elm-lang.org/t/how-do-you-read-types/8116>\
**Category:** Learn\
**Created:** [January 31, 2022, 3:55pm UTC](https://discourse.elm-lang.org/t/how-do-you-read-types/8116 "2022-01-31T15:55:06Z")\
**Posts on this page:** 1\
**Showing post:** 3

<div class="post-metadata">

**Author:** ![Lucas\_Payr](https://yyz1.discourse-cdn.com/flex035/user_avatar/discourse.elm-lang.org/lucas_payr/32/4993_2.png) [@Lucas\_Payr](https://discourse.elm-lang.org/u/Lucas_Payr)\
**Post date:** [February 1, 2022, 3:40am UTC](https://discourse.elm-lang.org/t/how-do-you-read-types/8116/3 "2022-02-01T03:40:16Z")

</div>

`(a -> b) -> a -> b` A function that takes a function from `a` to `b` and an `a` and returns a `b`.  
`a -> (a -> b) -> b` A function that takes an `a` and a function from `a` to `b` and returns a `b`.

---

_[View the full topic](https://discourse.elm-lang.org/t/how-do-you-read-types/8116)._