# Functors represented by objects

**URL:** https://discourse.haskell.org/t/functors-represented-by-objects/13724
**Category:** Links
**Created:** [February 23, 2026, 8:49am UTC](https://discourse.haskell.org/t/functors-represented-by-objects/13724 "2026-02-23T08:49:59Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![iokasimov](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/iokasimov/32/5591_2.png) [@iokasimov](https://discourse.haskell.org/u/iokasimov)
#### Post date: [February 23, 2026, 8:49am UTC](https://discourse.haskell.org/t/functors-represented-by-objects/13724/1 "2026-02-23T08:49:59Z")

</div>

[https://muratkasimov.art/Ya/Articles/Functors-represented-by-objects/](https://muratkasimov.art/Ya/Articles/Functors-represented-by-objects/)

I’ve been working recently on functors that can be represented by objects - it was the missing piece of the puzzle that makes Я powerful enough to not use a class of custom functions! You can use this concept to initialise data structures, evaluate functions/stateful computations, do some scope manipulation. Other cases yet to be explored, but I’m pretty happy with the intermediate results.

The closest concept is Representable functors from [this package](https://hackage.haskell.org/package/representable-functors) except that (as in case with monads) you can use individual natural transformations.