filename’s signature and implementation are confusing

[hellerve]

currently, filename returns a Maybe. this is because of its implementation. but also because of its implementation, it will never return Nothing. this is confusing, and we should either a) define cases (like the empty string) where filename SHOULD return Nothing, or b) drop the Maybe altogether.

cheers