Hi Daniel, Daniel Fischer wrote: > Easy fix: > bar :: WithUnit s [s] > bar = WithUnit $ do > s <- get > return (s,()) Yes, so it seemed it was a silly mistake on my part. Thanks much for the help! Martijn.