• Post time: Dr Post, from the inside post, might have edge in Haskell