Ask HN: Functional and Typed Filesystem?

I am wondering whether there is an OS (probably as a proof of concept) that only allows files of the same type inside a folder. So in a sense, folders would be lists in Haskell.

(And go further, create trees, Maybe's, and what not.)

Having your OS (at least the data storage part) be a huge first-class Haskell object sounds interesting.