[Haskell-cafe] Using type families to define runtime representation and evaluation strategy?

[Don Stewart]

coreyoconnor:
> I'm interested in the feasibility of extending the compiler using a
> construct similar to type synonym families to determine runtime
> representation and evaluation strategy for types. Can anybody point me
> to existing work in this area?

There's a lot of work on controlling data representations with
associated types -- indeed, that was their original use case!
  
Also related might be the new paper "Types are calling conventions"

-- Don