Just :: {3} -> Maybe
でしょうか?