purescript filetype, GUI font.