[Haskell-cafe] Re: Strange type error with associated type synonyms

Bulat Ziganshin wrote:

while we are here - i always had problems understanding what is inferred and what is expected type. may be problem is just that i'm not native speaker

The shape of the brick you are trying to push through a hole is analysed (inferred) by the universe from the brick's overall properties, while the hole certainly can be said to expect a certain shape of block. The actual universe might very well do pixel-based collision, not something as elaborate as what I described, though. YMMV. -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited.