The FunctionalProgramming take on NakedObjects. 

see http://conal.net/papers/Eros/